// String.concat(String) [explicit, not invoked by + operator]
} else if (methodName.equals("concat") && numArgs == 1 && isString(target.getParameterType(0))) {
// translate the argument
Variable rvar = arguments.get(0);
Variable result = factory.createVariable(VariableType.STRING);
factory.addStatement(new StringConcat(result, callee, rvar));
return result;
// String.replace(char,char)
} else if (methodName.equals("replace") && numArgs == 2 &&
isChar(target.getParameterType(0)) &&