private static Option<Integer> integer(
Category category, String name, Integer defval, String description) {
Option<Integer> option = Option.integer("jruby", name, category, defval, description);
_loadedOptions.add(option);
return option;
}
