/** Open function: open a file chooser to select a new image file. */
 private void openFile() {
   OFImage image = ImageFileManager.getImage();
   imagePanel.setImage(image);
   frame.pack();
 }