}
	private static List variablesToPositions(TemplateVariable[] variables) {   		List positions= new ArrayList(5);		for (int i= 0; i != variables.length; i++) {		    int[] offsets= variables[i].getOffsets();		    for (int j= 0; j != offsets.length; j++)				positions.add(new RangeMarker(offsets[j], 0));		}		return positions;	    	}