Mathias Ricken - 2010-04-27

Done in User Docs:
- Eclipse compiler
- State that we do not require the JDK anymore to compile; but still necessary for Javadoc and the debugger.
- Generate custom drjava.jar