The push server should have no default user. An admin user should be created through a script.
Thus removing the temporary solution for https://issues.jboss.org/browse/AGPUSH-107