if (!canCoexist){
if (fIsActive) JavaPlugin.log(new Status(IStatus.WARNING, JavaPlugin.getPluginId(), IStatus.OK, "LinkedPositionManager is already active: "+fPositionCategoryName, new IllegalStateException())); else { fIsActive= true;  }  if (!canCoexist) {
	private void install(boolean canCoexist) {				if (!canCoexist){			LinkedPositionManager manager= (LinkedPositionManager) fgActiveManagers.get(fDocument);			if (manager != null)				manager.leave(true);			}				fgActiveManagers.put(fDocument, this);		fDocument.addPositionCategory(fPositionCategoryName);		fDocument.addPositionUpdater(this);				fDocument.addDocumentListener(this);	}	