[xbase] make sure JvmElements get proxified (see https://bugs.eclipse.org/bugs/show_bug.cgi?id=398439)

This commit is contained in:
Sven Efftinge 2013-01-24 10:53:34 +01:00
parent 6fcb204388
commit 29a9dcf61a

View file

@ -52,7 +52,15 @@ public class DerivedStateAwareResource extends LazyLinkingResource {
}
return super.getContents();
}
@Override
protected void clearInternalState() {
if (fullyInitialized) {
discardDerivedState();
}
super.clearInternalState();
}
@Override
protected void updateInternalState(IParseResult oldParseResult, IParseResult newParseResult) {
if (fullyInitialized) {