Fixes vibe-project/vibe-java-server#30 make 'platform' a superordinate of 'server'