Fix global UMLOptions.java - again