This kind of change will also need to be done in `run2.cmd` for Windows. Also, in Java 1.6 and above, you can avoid putting a lot of JARs by just adding a path that ends with `*`, such as `lib/*`; I believe we did that for the other projects that used to have JARs, so try it here too.