Steve's Java Page

Tools

• (Old) Observations about Java tools
• Patch for JDE's jde-db.el so that it can handle inner class line numbers during source-level debugging.
• Getting the Java Sources.