}
public void dispose() {
- listeners.clear();
+ if (listeners != null)
+ listeners.clear();
listeners = null;
source = null;
compilationResult = null;
- runtimeModule.getResult().dispose();
+ if (runtimeModule != null) {
+ if (runtimeModule.didSucceed())
+ runtimeModule.getResult().dispose();
+ }
runtimeModule = null;
}