Update StubTranslator.java