Another change for marked for removal
@@ -393,7 +393,7 @@ void option_binding() #OptionBinding :
(
v=IntegerLiteral()
{
- JJTreeOptions.setInputFileOption(o, v, o.image, new Integer(v.image));
+ JJTreeOptions.setInputFileOption(o, v, o.image, Integer.valueOf(v.image));
jjtThis.initialize(o.image, v.image);
}
| v=BooleanLiteral()
