new Options.Descriptor("help", "help", "h", Options.ArgumentSpecifier.NONE, "show help on options"),
new Options.Descriptor("debug", "debug", "d", Options.ArgumentSpecifier.NONE, "debug info (for development purposes)")
};
myOptions = new Options(descrs);
}
<BUG>private static boolean doDebug () {
return myOptions.get ("debug") instanceof Options.Switch;
}</BUG>
private static boolean doSave() {
return myOptions.get("save") instanceof Options.Switch;

new Options.Descriptor("help", "help", "h", Options.ArgumentSpecifier.NONE, "show help on options"),
new Options.Descriptor("debug", "debug", "d", Options.ArgumentSpecifier.NONE, "debug info (for development purposes)")
};
myOptions = new Options(descrs);
}
private static boolean doDebug() {
return myOptions.get("debug") instanceof Options.Switch;
}
private static boolean doSave() {
return myOptions.get("save") instanceof Options.Switch;
