Fix name of machine mutex in installJava() method