Translation: Operator.java