public void launch(ILaunchConfiguration configuration, String mode,\r
ILaunch launch, IProgressMonitor monitor) throws CoreException {\r
if (!saveBeforeLaunch(configuration, mode, monitor))\r
public void launch(ILaunchConfiguration configuration, String mode,\r
ILaunch launch, IProgressMonitor monitor) throws CoreException {\r
if (!saveBeforeLaunch(configuration, mode, monitor))\r