# This patch file was generated by NetBeans IDE
# Following Index: paths are relative to: /home.local/rmatous/nball/apisupport/project/src/org/netbeans/modules/apisupport/project/universe
# This patch can be applied using context Tools: Patch action on respective folder.
# It uses platform neutral UTF-8 encoding and \n newlines.
# Above lines and this line are ignored by the patching process.
Index: NbPlatform.java
*** /home.local/rmatous/nball/apisupport/project/src/org/netbeans/modules/apisupport/project/universe/NbPlatform.java Base (1.31)
--- /home.local/rmatous/nball/apisupport/project/src/org/netbeans/modules/apisupport/project/universe/NbPlatform.java Locally Modified (Based On 1.31)
***************
*** 715,722 ****
       */
      public ModuleEntry[] getModules() {
          try {
!             SortedSet/*<ModuleEntry>*/ set = new TreeSet(
!                     ModuleList.findOrCreateModuleListFromBinaries(getDestDir()).getAllEntriesSoft());
              ModuleEntry[] entries = new ModuleEntry[set.size()];
              set.toArray(entries);
              return entries;
--- 715,723 ----
       */
      public ModuleEntry[] getModules() {
          try {
!             Set originalSet =  ModuleList.findOrCreateModuleListFromBinaries(getDestDir()).getAllEntriesSoft();             
!             SortedSet/*<ModuleEntry>*/ set = new TreeSet(originalSet);            
!             assert originalSet.size() == set.size();
              ModuleEntry[] entries = new ModuleEntry[set.size()];
              set.toArray(entries);
              return entries;