@@ -730,11 +730,11 @@ buf.append('('); text.add(buf.toString()); Textifier t = createTextifier(); text.add(t.getText()); text.add(visible ? ") // parameter " : ") // invisible, parameter "); - text.add(new Integer(parameter)); + text.add(parameter); text.add("\n"); return t; } @Override