Another minor cleanup before tagging the release state.

src/wsi/ra/jproxy/RMIServer.java

@@ -8,22 +8,13 @@ package wsi.ra.jproxy;
  *            $Date: 2004/04/15 09:12:31 $
  *            $Author: ulmerh $
  */
-/*==========================================================================*
- * IMPORTS
- *==========================================================================*/
+
 import java.net.InetAddress;
 import java.net.MalformedURLException;
-import java.net.UnknownHostException;
 import java.rmi.Naming;
 import java.rmi.RemoteException;
 import java.rmi.registry.Registry;
-///////////////////////////////////////////////////////////////
-// -Xrunhprof:cpu=times
-// -Djava.security.policy=server.policy
-///////////////////////////////////////////////////////////////
-/*==========================================================================*
- * CLASS DECLARATION
- *==========================================================================*/
+
 /**
  *
  */

src/wsi/ra/tool/BasicResourceLoader.java

@@ -583,8 +583,6 @@ public class BasicResourceLoader implements ResourceLoader
 	 *
 	 */
 	public static Properties readProperties(String resourceName) throws Exception {
-//		if (TRACE)
-//			System.out.println("EvAClient.readProperties of " + resourceName);
 		Properties prop = new Properties();
 		BasicResourceLoader loader = BasicResourceLoader.instance();