gitlab #28
Change-Id: Idde40dd8bd02642b06b52b47c8015b566f3be988
public void removeListener(WarningListener listener) {
warningListeners.remove(listener);
}
public void removeListener(WarningListener listener) {
warningListeners.remove(listener);
}
+
+ public void dispose() {
+ changes = null;
+ changes2 = null;
+ changes3 = null;
+ filters = null;
+ userFilters = null;
+ updateList = null;
+ updateList2 = null;
+ updateList3 = null;
+ updateTree = null;
+ updateTree2 = null;
+ updateTree3 = null;
+ updateNode3 = null;
+ }