How can I quickly re-indent a large number of files?
DrJava has a very useful indenting algorithm, but indenting several large files can be time consuming. Because of this, we provide a command line interface to the indenter that you can run on a series of files. From a command line, use the following command to run the indenter: java -classpath drjava-VERSION.jar edu.rice.cs.drjava.IndentFiles [-indent N] [FILES] Where VERSION is the correct version number for your copy of DrJava and FILES is a list of the files you wish to re-indent. You can optionally specify the -indent argument, where N is the number of spaces to use for each indentation level. Note that tab characters are not supported.
