docs: private String computeScriptName() {
          if (srcFile != null) {
              return srcFile.getAbsolutePath();
          } else {
              String name = PREFIX;
              if (getLocation().getFileName().length() > 0)
                  name += getLocation().getFileName().replaceAll("[^\\w_\\.]", "_").replaceAll("[\\.]", "_dot_");
              else
                  name += SUFFIX;
  
              return name;
          }
      }