tree 839acacf3179fcb03ea8fe8a8aca132b18f57856
parent 310117d0a552672d3ddc9a7168a21dd8aef59baa
author Florian Waibel <fwaibel@eclipsesource.com> 1448048923 +0100
committer Florian Waibel <fwaibel@eclipsesource.com> 1448048923 +0100

439964 Fixes osgi.java.profile.name in java7-server.profile