*/
private class UserDefinedCollisionFilter extends PositionFilter {
boolean shouldFilter(Map allPositions, EnhancedPosition thePosition) throws BadLocationException {
Iterator positions = allPositions.values().iterator();
while(positions.hasNext()) {
EnhancedPosition aPosition = (EnhancedPosition)positions.next();
JavaPositionMetadata metadata = (JavaPositionMetadata)aPosition.getMetadata();
if(aPosition == thePosition) continue;
if( metadata.isUserDefined() && thePosition.collidesWith(aPosition) && !(thePosition.isAdjacent(aPosition))) {
return true;
}
}