addParamName(paramList, mr); startOfNextPattern = mr.getIndex();
addParamName(paramList, mr); startOfNextPattern = mr.getIndex();
addParamName(paramList, mr); startOfNextPattern = mr.getIndex();
addParamName(paramList, mr); startOfNextPattern = mr.getIndex();