public ToolSelectorCommandLine(CommandLineParameters params) {
   if (params.gMixTool != null
       && params.gMixTool != ToolName.NOT_SET) // start desired tool directly
   ToolName.execute(params);
   else displayCommandLineOptions();
   params.gMixTool = getUserInput();
   ToolName.execute(params);
 }