private static @Nullable String getExtensionsLocation(Extensions element) {
    return element.getDefaultExtensionNs().getStringValue();
  }
private static @Nullable String getExtensionsLocation(Extensions element)