names = new HashMap<Integer, String>();
orders = new ArrayList<String>();
}
void add(String name, int index) {
LinkedIntArray lia = indexes.get(name);
if (null == lia) {
lia = new LinkedIntArray();
indexes.put(name, lia);
}
lia.push(index);
names.put(index, name);
orders.add(name);
}