public void setOption(String name, Object... args) { setOption1(name, OptionKind.NORMAL, args); }
public void setOption(String name, Object... args) { setOption1(name, OptionKind.NORMAL, args); }
public void setExtendedOption(String name, Object... args) { setOption1(name, OptionKind.EXTENDED, args); }
public void setExtendedOption(String name, Object... args) { setOption1(name, OptionKind.EXTENDED, args); }