[jboss-dev] Release of server-manager:0.1.2.GA