An eclipse plugin for jslint4java.