offsets[i]= ((Integer) vector.get(i)).intValue();
offsets[i]= ((Integer) vector.get(i)).intValue() + start;
	private static int[] variablesToOffsets(TemplatePosition[] variables) {		Vector vector= new Vector();		for (int i= 0; i != variables.length; i++) {		    int[] offsets= variables[i].getOffsets();		    for (int j= 0; j != offsets.length; j++)				vector.add(new Integer(offsets[j]));		}				int[] offsets= new int[vector.size()];		for (int i= 0; i != offsets.length; i++)			offsets[i]= ((Integer) vector.get(i)).intValue();		Arrays.sort(offsets);		return offsets;	    	}