public void setKeyFieldSpec(int start, int end) { if (end >= start) { KeyDescription k = new KeyDescription(); k.beginFieldIdx = start; k.endFieldIdx = end; keySpecSeen = true; allKeySpecs.add(k); } }