--- 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
 {