/** Read a cache of OMGraphics */
public OMGraphicList readCachedGraphics(URL url) throws java.io.IOException {
if (Debug.debugging("areas")) {
Debug.output("Reading cached graphics");
}
OMGraphicList omgraphics = new OMGraphicList();
if (url != null) {
omgraphics.readGraphics(url);
}
return omgraphics;
}