Deal with internal java names for operators