219220221222223224225226227228229
k = e.getKey(); o = e.getValue(); if (o != null && o instanceof Saved) { s = (Saved) o; t = s.timeSaved(); p = s.priority(); if (t != null && t.equals(tm)) { i = 0; for (; i < saves.size(); i++) if (saves.get(i).priority() >= p) { saves.add(i, s);