GrappaSupport.setHighlight(e, GrappaSupport.SELECTION_MASK, GrappaSupport.HIGHLIGHT_ON); ((Vector)currentSelection).addElement(e);
for (int i = 0; i < elements.size(); i++) { Element e = (Element)elements.elementAt(i); GrappaSupport.setHighlight(e, GrappaSupport.SELECTION_MASK, GrappaSupport.HIGHLIGHT_ON); ((Vector)currentSelection).addElement(e); }
  public void select(Element e) {    clearSelection();     resetColors();    currentSelection = new Vector();    GrappaSupport.setHighlight(e, GrappaSupport.SELECTION_MASK,			       GrappaSupport.HIGHLIGHT_ON);    ((Vector)currentSelection).addElement(e);  }    