/Bundle.properties/1.3/Mon Nov  4 22:24:58 2002//
/ConsolePlugin.java/1.11/Result of merge//
/package.html/1.1/Thu Oct 24 17:01:07 2002//
