private static @NotNull JavaSyntheticLibrary createSdkLibrary(@NotNull Sdk sdk) {
    return new JavaSyntheticLibrary(sdk.getName(), Arrays.asList(sdk.getRootProvider().getFiles(OrderRootType.SOURCES)),
                                    Arrays.asList(sdk.getRootProvider().getFiles(OrderRootType.CLASSES)), Collections.emptySet());
  }
private static @NotNull JavaSyntheticLibrary createSdkLibrary(@NotNull Sdk sdk)