Upgraded from rhino to dynjs (and therfore to java 1.7)