public void uninstall(boolean success) { fDocument.removeDocumentListener(this);  try { Position[] positions= getPositions(fDocument); if ((!success) && (positions != null)) {  for (int i= 0; i != positions.length; i++) { TypedPosition position= (TypedPosition) positions[i]; fDocument.replace(position.getOffset(), position.getLength(), position.getType()); } }
public void uninstall(boolean success) {  if (!fIsActive)  JavaPlugin.log(new Status(IStatus.WARNING, JavaPlugin.getPluginId(), IStatus.OK, "LinkedPositionManager activated: "+fPositionCategoryName, new IllegalStateException())); else { fDocument.removeDocumentListener(this);
	public void uninstall(boolean success) {					fDocument.removeDocumentListener(this);		try {			Position[] positions= getPositions(fDocument);				if ((!success) && (positions != null)) {				// restore				for (int i= 0; i != positions.length; i++) {					TypedPosition position= (TypedPosition) positions[i];									fDocument.replace(position.getOffset(), position.getLength(), position.getType());				}			}								fDocument.removePositionCategory(fPositionCategoryName);		} catch (BadLocationException e) {			JavaPlugin.log(e);			Assert.isTrue(false);		} catch (BadPositionCategoryException e) {			JavaPlugin.log(e);			Assert.isTrue(false);		} finally {			fDocument.removePositionUpdater(this);					fgActiveManagers.remove(fDocument);				}	}