public boolean hasLine(int l) { return lines.contains(new Integer(l)); }
public boolean hasLine(int l) { return lineToSize.containsKey(new Integer(l)); }
        public boolean hasLine(int l) { return lines.contains(new Integer(l)); }