jslintification