code: public IResource getResource()
  	{
  		try
  		{
  			final IResource resource = ensureMarker().getResource();
  			if (!resource.equals(getWorkspaceRoot()))
  			{
  				return resource;
  			}
  		} catch (CoreException e)
  		{
  			VdmDebugPlugin.log(e);
  		}
  		return null;
  	}
docs: IScriptLineBreakpoint