if (fExitPosition != null)
fExitPosition.getDocument().removePosition(fExitPosition);
for (Iterator iter = docs.iterator(); iter.hasNext(); ) {
IDocument doc= (IDocument) iter.next();
doc.removePositionUpdater(fPositionUpdater);
boolean uninstallCat= false;
String[] cats= doc.getPositionCategories();
for (int j= 0; j < cats.length; j++) {
if (getCategory().equals(cats[j])) {
uninstallCat= true;