public Repetition(int l, int r) { lines = new HashSet(); lines.add(new Integer(l)); repetitions = r;  }
public Repetition(int r) { lineToSize = new HashMap(); repetitions = r; }
	public Repetition(int l, int r) 	{            lines = new HashSet();            lines.add(new Integer(l));	    repetitions = r;	    // length = len;	}