Efficient JavaScript development in a Java world