RunJettyRun version 1.0.1 released

There were a couple of bug reports that were solved for this second release of RunJettyRun. Unfortunately, I messed up the first release, and you can’t just update the plugin. If you want to install this, you’ll have to manually deinstall the 1.0.0 version and install 1.0.1. Next time, automatic updates should be working ok.

See http://code.google.com/p/run-jetty-run/ for instructions and the change log.