Author: adietish Date: 2011-07-08 11:20:36 -0400 (Fri, 08 Jul 2011) New Revision: 32768 Modified: trunk/as/plugins/org.jboss.ide.eclipse.as.core/jbosscore/org/jboss/ide/eclipse/as/core/server/internal/v7/DelegatingJBoss7ServerBehavior.java Log: [JBIDE-9215] added @Override Modified: trunk/as/plugins/org.jboss.ide.eclipse.as.core/jbosscore/org/jboss/ide/eclipse/as/core/server/internal/v7/DelegatingJBoss7ServerBehavior.java =================================================================== --- trunk/as/plugins/org.jboss.ide.eclipse.as.core/jbosscore/org/jboss/ide/eclipse/as/core/server/internal/v7/DelegatingJBoss7ServerBehavior.java 2011-07-08 14:48:24 UTC (rev 32767) +++ trunk/as/plugins/org.jboss.ide.eclipse.as.core/jbosscore/org/jboss/ide/eclipse/as/core/server/internal/v7/DelegatingJBoss7ServerBehavior.java 2011-07-08 15:20:36 UTC (rev 32768) @@ -72,10 +72,12 @@ return delegateClassMap; } + @Override public boolean shouldSuspendScanner() { return false; } + @Override public void setupLaunchConfiguration(ILaunchConfigurationWorkingCopy launchConfig, IProgressMonitor monitor) throws CoreException { // TODO: implement setup for RSE launch delegate too @@ -122,6 +124,7 @@ createDoDeployMarker(paths, monitor); } + @Override public void restartModule(IModule[] module, IProgressMonitor monitor) throws CoreException { IDeployableServer ds = ServerConverter.getDeployableServer(getServer()); if( ds == null ) @@ -148,6 +151,7 @@ } } + @Override public void stop(boolean force) { if( LaunchCommandPreferences.isIgnoreLaunchCommand(getServer())) { super.setServerStopped();