From 29a9dcf61ac8c086684f8e4a62335129cd97b314 Mon Sep 17 00:00:00 2001
From: Sven Efftinge <sven.efftinge@itemis.de>
Date: Thu, 24 Jan 2013 10:53:34 +0100
Subject: [PATCH] [xbase] make sure JvmElements get proxified (see
 https://bugs.eclipse.org/bugs/show_bug.cgi?id=398439)

---
 .../xtext/resource/DerivedStateAwareResource.java      | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/plugins/org.eclipse.xtext/src/org/eclipse/xtext/resource/DerivedStateAwareResource.java b/plugins/org.eclipse.xtext/src/org/eclipse/xtext/resource/DerivedStateAwareResource.java
index ca925a660..e641dd242 100644
--- a/plugins/org.eclipse.xtext/src/org/eclipse/xtext/resource/DerivedStateAwareResource.java
+++ b/plugins/org.eclipse.xtext/src/org/eclipse/xtext/resource/DerivedStateAwareResource.java
@@ -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) {