@ApiStatus.Internal
  public @Nullable VirtualFile getDefaultVirtualFile() {
    return myDefaultPropertiesFile.getVirtualFile(); // Don't resolve the pointer to avoid slow ops.
  }
@ApiStatus.Internal
  public @Nullable VirtualFile getDefaultVirtualFile()