[jbosstools-commits] JBoss Tools SVN: r23901 - trunk/common/plugins/org.jboss.tools.common.ui/src/org/jboss/tools/common/ui/preferences.

jbosstools-commits at lists.jboss.org jbosstools-commits at lists.jboss.org
Tue Aug 3 19:29:30 EDT 2010


Author: dgolovin
Date: 2010-08-03 19:29:29 -0400 (Tue, 03 Aug 2010)
New Revision: 23901

Modified:
   trunk/common/plugins/org.jboss.tools.common.ui/src/org/jboss/tools/common/ui/preferences/SeverityPreferencePage.java
Log:
https://jira.jboss.org/browse/JBIDE-6772 The method widgetDefaultSelected(SelectionEvent) of type new SelectionListener(){} must override a superclass method

@Override annotations were removed

Modified: trunk/common/plugins/org.jboss.tools.common.ui/src/org/jboss/tools/common/ui/preferences/SeverityPreferencePage.java
===================================================================
--- trunk/common/plugins/org.jboss.tools.common.ui/src/org/jboss/tools/common/ui/preferences/SeverityPreferencePage.java	2010-08-03 22:57:35 UTC (rev 23900)
+++ trunk/common/plugins/org.jboss.tools.common.ui/src/org/jboss/tools/common/ui/preferences/SeverityPreferencePage.java	2010-08-03 23:29:29 UTC (rev 23901)
@@ -60,12 +60,10 @@
 		severityConfigurationBlock.setLayoutData(gd);
 
 		checkBox.addSelectionListener(new SelectionListener() {
-			@Override
 			public void widgetSelected(SelectionEvent e) {
 				enableMainPreferenceContent(checkBox.getSelection());
 				getPreferenceStore().setValue(SeverityPreferences.ENABLE_BLOCK_PREFERENCE_NAME, checkBox.getSelection());
 			}
-			@Override
 			public void widgetDefaultSelected(SelectionEvent e) {
 			}
 		});



More information about the jbosstools-commits mailing list