docs: public File getWorkareaFile(String relativeServerWorkareaPath) {
          if (relativeServerWorkareaPath == null)
              return workarea;
          else
              return new File(workarea, relativeServerWorkareaPath);
      }