X-Git-Url: http://git.phpeclipse.com

diff --git a/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpdt/internal/ui/preferences/JavaEditorPreferencePage.java b/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpdt/internal/ui/preferences/JavaEditorPreferencePage.java
index d48b77b..d1a88f9 100644
--- a/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpdt/internal/ui/preferences/JavaEditorPreferencePage.java
+++ b/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpdt/internal/ui/preferences/JavaEditorPreferencePage.java
@@ -1814,8 +1814,8 @@ public class JavaEditorPreferencePage extends PreferencePage implements
 		fBackgroundDefaultRadioButton.setSelection(default_);
 		fBackgroundCustomRadioButton.setSelection(!default_);
 		fBackgroundColorButton.setEnabled(!default_);
-		boolean closeJavaDocs = fOverlayStore
-				.getBoolean(PreferenceConstants.EDITOR_CLOSE_JAVADOCS);
+//		boolean closeJavaDocs = fOverlayStore
+//				.getBoolean(PreferenceConstants.EDITOR_CLOSE_JAVADOCS);
 		// fAddJavaDocTagsButton.setEnabled(closeJavaDocs);
 		fEscapeStringsButtonDQ.setEnabled(fOverlayStore
 				.getBoolean(PreferenceConstants.EDITOR_WRAP_STRINGS_DQ));