Update to latest jslint (2013-05-31)