public synchronized boolean clearHighlighting(final int level){
  if (m_highlighting.isEmpty()) {
    return false;
  }
  for (  final CHighlighting highlighting : new ArrayList<CHighlighting>(m_highlighting)) {
    if (highlighting.getLevel() == level) {
      m_highlighting.remove(highlighting);
      return true;
    }
  }
  return false;
}

public synchronized boolean clearHighlighting ( final int level ) { if ( m_highlighting . isEmpty ( ) ) { return false ; } for ( final CHighlighting highlighting : new ArrayList < CHighlighting > ( m_highlighting ) ) { if ( highlighting . getLevel ( ) == level ) { m_highlighting . remove ( highlighting ) ; return true ; } } return false ; }
removes all highlighting information of the given level .
