140141142143144145146147148149150
return; } // Take the first argument out since it's command name final List<String> args = new ArrayList<String>(); argTokenizer.parse( command, new TokenEventHandler() { public void handleEvent( TokenEvent event ) { args.add( event.getToken() ); }