worth noticing that with this change *noone* can provide a server type via extension points that will be recognized as a jboss server type.