javascript extension for english-java