{
  public void setElements (String elemNames)   {    if (elemNames == null)     {      return;    }    StringTokenizer st = new StringTokenizer (elemNames, " \t\n\r", false);    Object junk = new Object ();    while (st.hasMoreTokens ())     {      String tok = st.nextToken ();      elements.put (tok, junk); // just stick it in there basically    }  }