System.err.println("No mapped file store for " + file);
String message = "Trader could not create mapped file store for " + file; JOptionPane.showMessageDialog(main_panel_, message, "Retrieving store and mapper", JOptionPane.ERROR_MESSAGE);
  public boolean setFile(File file)  {    mapper_ = null;    if (application_ == null || file == null)    {      return false;    }        DMDMapper mapper = application_.getMappedFileStore(file, "Dinomeda");    if (mapper == null)    {      System.err.println("No mapped file store for "                         + file);      return false;     }        if (!(mapper instanceof DinomedaMapper))    {      System.err.println("Mapper is not a Dinomeda Mapper");      return false;    }        mapper_ = (DinomedaMapper) mapper;        main_panel_.setMapper(mapper_);    option_panel_.setMapper(mapper_);        return true;  }