class ShortSet implements Serializable {

	public void removeKnownPresent(int key) {
		size--;
		final short location = locations[key];
		final short replacement = data[size];
		data[location] = replacement;
		locations[replacement] = location;
	}

	public  ShortSet(int capacity);

}