docs: public List<String> toOptionsList() {
          List<String> options = new ArrayList<>();
          options.add("-source");
          options.add(getSourceVersion());
          options.add("-target");
          options.add(getTargetVersion());
          options.add("-encoding");
          options.add(getSourceEncoding());
          if (isDeprecations()) {
              options.add("-deprecation");
          }
          if (isDebug()) {
              options.add("-g");
          }
          if (isWarnings()) {
              options.add("-Xlint:all");
          }
          return options;
      }