protected void processToken(String t, String arg) {
		if (t.equals(_newSection))
			newSection();
		else if (t.equals(_incSection))
			incSection();
		else if (t.equals(_decSection))
			decSection();
		else if (t.equals(_titleTok))
			_isTitle = true;
		else
			System.out.println("Unrecognized token : "+t);
			// TODO log
		if (_isTitle) {
			newTitle(arg);
			_isTitle = false;
		}
		else
			doReport(arg);
	}