Make jslint.js back-compatible with JDK 1.6 rhino