public void select(Element e) {
public void select(Vector elements) {
  public void select(Element e) {    clearSelection();     resetColors();    currentSelection = new Vector();    GrappaSupport.setHighlight(e, GrappaSupport.SELECTION_MASK,			       GrappaSupport.HIGHLIGHT_ON);    ((Vector)currentSelection).addElement(e);  }    