docs: public void drawToImageWithAreas(String path, String areaNames)
      {
          try
          {
              ImageOutputDisplay disp = new ImageOutputDisplay(getPage().getWidth(), getPage().getHeight());
              disp.drawPage(getPage());
              showAreas(disp, getAreaTree().getRoot(), areaNames);
              disp.saveTo(path);
          } catch (IOException e) {
              log.error("Couldn't write to " + path + ": " + e.getMessage());
          }
      }