Eclipse: Completed bulk of migration to compatibility with the current DrJava sources, Eclipse 3.2+, and ant-driven building. A few rough edges remain to be cleaned up. The plug-in can now be built using "ant jar" and copying the result to the Eclipse plug-ins directory.