docs: private String trimToFile(String warLocation) {
      if (warLocation.startsWith(JAR_FILE_PREFIX)) {
        warLocation = warLocation.substring(JAR_FILE_PREFIX.length());
        int warBangPos = warLocation.indexOf(WAR_BANG_SUFFIX);
        warLocation = warLocation.substring(0, warBangPos + 4);
      }
      return warLocation;
    }