server properties are shown in the server pictogram object on the
diagram view
Merge branch 'master' of https://github.com/fujaba/BeAST