Update javaOperators.py