@Override
	public int processCustomSwitch(ParserCompilerParameters args, String[] cmdline, int index)
	{
		if(cmdline[index].equals("-pretty"))
		{
			args.setCustomSwitch("isPretty",true);
			return index+1;
		}
		else if(cmdline[index].equals("-gatherstats"))
		{
			if(args.getCustomSwitch("gatherStatistics",String.class,"ERROR").equals("ERROR")) args.setCustomSwitch("runtimeQuietLevel","NOTA_BENE");
			args.setCustomSwitch("gatherStatistics",true);
			return index+1;
		}
		else if(cmdline[index].equals("-runv"))
		{
			args.setCustomSwitch("runtimeQuietLevel","INFO");
			return index+1;
		}
		else return -1;		
	}