--- ConnectToServer.java_orig 2012-10-24 21:25:15.615064357 -0700 +++ ConnectToServer.java 2012-10-24 21:41:08.541079129 -0700 @@ -160,6 +160,7 @@ String buffer = new String(); help = new String(); while ((buffer = indir.readLine()) != null) + v.addElement ((Object)buffer); //lmd help += buffer; if ((t = help.indexOf("<hr>")) == -1 && (t = help.indexOf("<br>")) == -1 && @@ -271,4 +272,4 @@ wg.editor.setCursor(new Cursor(Cursor.DEFAULT_CURSOR)); return true; } -} \ No newline at end of file +} --- SettingsEditor.java_orig 2012-10-26 23:19:46.757057184 -0700 +++ SettingsEditor.java 2012-10-23 14:38:49.715143275 -0700 @@ -5,6 +5,7 @@ import java.awt.*; import java.awt.event.*; import java.util.*; +import java.awt.List; //lmd public class SettingsEditor extends WinFrame implements ItemListener {