// ----------------------------------------- public void add(String s) { listContents.addElement(s); }