public CommandlineOptions() { options = new Options(); help = new HelpFormatter(); optionsStandard = new Options(); optionsExperimental = new Options(); if (K.debug || K.guidebug) { initializeDebugOptions(); } else { initializeKRunOptions(); } }