Java Compiler

Copyright (c) 1999, 2000 by Kevin A. Burton and Aziz Sharif.
Modified by Dominic Stolerman and Dirk Möbius.

Current maintainer: Dirk Möbius ( dmoebius@gmx.net)

  1. Requirements
  2. Installation
  3. Usage
  4. Options
  5. Troubleshooting

1. Requirements

Note: If you want one-click access to error positions, and highlightening of compilation errors in the edit pane with wavy red lines, I suggest you install the ErrorList plugin, too. Version should be 0.11 or higher.

2. Installation

You should use jEdit's PluginManager to install the Java Compiler plugin. (Since you're reading this, I assume you have already done this).

3. Usage

Java Compiler has 3 menu actions in the menu Plugins->Java Compiler: These menu entries correspond to the following commands, that can be invoked from the Java Compiler shell in the Console plugin:

4. Options

You may configure some options under "Utilities -> Global Options -> Plugin Options -> Java Compiler". Most of them are self explaining, but some need special explanation:

4.1 General options

4.2 Compiler options

5. Troubleshooting

I get an error saying that tools.jar cannot be found!

This error should occur only on JDK 1.2 or higher.

tools.jar is a Java system library, provided by Sun, that contains the Java compiler, among other things. It is usually installed in jdkhome/lib/, where jdkhome denotes the JDK installation directory.

JCompiler searched for this library, but couldn't find it. Please search for this library manually, and configure your JDK to find the library. You must do this, before jEdit is started. The easiest way to do this is to copy tools.jar to the right place. That is, copy tools.jar to:

jdkhome/jre/lib/ext/

That way, the JDK will find the library automatically, and you don't have to configure anything else. If, for any reason, you cannot copy the library (maybe because you don't have write access to the JDK installation directory), you have a lot of alternatives:



The current maintainer of JCompiler is Dirk Möbius (dmoebius@gmx.net).