public @NotNull Path getFilePath() throws IOException {
    if (myFile != null) {
      return myFile.toPath();
    }
    else {
      throw new IOException("Plugin '" + getPluginName() + "' was not successfully downloaded");
    }
  }
public @NotNull Path getFilePath()