tree 89e4995f9e95985106c084032cee5b19d63972a0
parent d4ea96055a9623b5244bca43037fcc66627d463b
author GianMaria Romanato <gm.romanato@gmail.com> 1454879013 +0100
committer GianMaria Romanato <gm.romanato@gmail.com> 1454879013 +0100

Add support for Virgo 3.7

- Update SystemPackageFilteringRepository for Virgo 3.7 which renames 
  the Java profile file into "java-server.profile".
- For backward compatibility, if such a file is not found fall back to 
  the old name (java6-server.profile)