[jbosstools-commits] JBoss Tools SVN: r35492 - trunk/cdi/plugins/org.jboss.tools.cdi.ui/src/org/jboss/tools/cdi/ui/marker.

[jbosstools-commits at lists.jboss.org]

Author: dazarov
Date: 2011-10-07 18:53:14 -0400 (Fri, 07 Oct 2011)
New Revision: 35492

Modified:
   trunk/cdi/plugins/org.jboss.tools.cdi.ui/src/org/jboss/tools/cdi/ui/marker/CDIProblemMarkerResolutionGenerator.java
Log:
Quick fixes for problem markers in beans.xml https://issues.jboss.org/browse/JBIDE-9833

Modified: trunk/cdi/plugins/org.jboss.tools.cdi.ui/src/org/jboss/tools/cdi/ui/marker/CDIProblemMarkerResolutionGenerator.java
===================================================================
--- trunk/cdi/plugins/org.jboss.tools.cdi.ui/src/org/jboss/tools/cdi/ui/marker/CDIProblemMarkerResolutionGenerator.java	2011-10-07 22:41:33 UTC (rev 35491)
+++ trunk/cdi/plugins/org.jboss.tools.cdi.ui/src/org/jboss/tools/cdi/ui/marker/CDIProblemMarkerResolutionGenerator.java	2011-10-07 22:53:14 UTC (rev 35492)
@@ -496,6 +496,8 @@
 				text = document.get(start, end-start);
 			} catch (BadLocationException e) {
 				CDIUIPlugin.getDefault().logError(e);
+			} finally {
+				provider.disconnect(input);
 			}
 			
 			if(messageId == CDIValidationErrorManager.UNKNOWN_ALTERNATIVE_BEAN_CLASS_NAME_ID){