code: protected void synchronizeOutlinePage(INode element) {
  		// TODO: don't search for mutexes
  		if (element instanceof AMutexSyncDefinition)
  			return;
  		if (element instanceof ABlockSimpleBlockStm)
  			return;
  
  		try {
  			synchronizeOutlinePage(element, false);// true
  		} catch (Exception e) {
  
  		}
  	}
docs: Synchronizes the outliner selection with the given element position in
  the editor.
  
  @param element
  the java element to select