/** Clears the flash scope. */ @Override public void clear() { isDirty = true; super.clear(); }
// empty this info object public void clearInfo() { nodes.clear(); edges.clear(); idToNode.clear(); }