}
};
TextEditor editor = new TextEditor();
IntegerFormatter formatter = new IntegerFormatter();
formatter.acceptOnlyPositive("invalid_chop_depth");
editor.setFormatter(formatter);
editor.setSize(5);
FieldInfo fieldInfo = new FieldInfo(
CHOP_DEPTH_ATTR,