Remove ancient remnant of the JSLint eclipse plugin.