}
else if (MERGE_PREF.equals(pref)) {
if (currRLM == null) continue;
int overhead = Integer.parseInt(st.nextToken());
int lineOverhead = Integer.parseInt(st.nextToken());
currRLM.mergeRects(overhead, lineOverhead);
}
else if (ADD_PREF.equals(pref)) {
if (currRLM == null) continue;
String id = st.nextToken();
Object o = rlms.get(id);