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