docs: private String noprefix(String name, String... prefix) {
          for (int i = 0; i < prefix.length; i++) {
              if (name.startsWith(prefix[i])) {
                  name = name.replaceAll(prefix[i], "");
              }
          }
          return name;
      }