code: public static boolean needsExportingJs(final Options options) {
          // when no ExportingOptions are set, they are enabled by default, hence
          // return true when they are null
          return options.getExporting() == null
                  || (options.getExporting().getEnabled() != null && options.getExporting().getEnabled());
      }
docs: Checks if the specified Options object needs the javascript file
  "exporting.js" to work properly. This method can be called by GUI
  components to determine whether the javascript file has to be included in
  the page or not.
  
  @param options the {@link Options} object to analyze
  @return true, if "exporting.js" is needed to render the options, false if
  not