if (breakpoint==null)
PHPDebugModel.createLineBreakpoint(getFile(), lineNumber, 0, true, null);
else
- DebugPlugin.getDefault().getBreakpointManager().removeBreakpoint( breakpoint, true );;
+ DebugPlugin.getDefault().getBreakpointManager().removeBreakpoint( breakpoint, true );
} catch( CoreException ce ) {
PHPDebugUiPlugin.errorDialog( "Cannot add breakpoint", ce );