public void destroy() {
   if (ogf != null) ogf.dispose();
   ogf = null;
   repaint();
 }
 void destroyFrame() {
   if (ogf != null) ogf.dispose();
   ogf = null;
   repaint();
 }