yes, DEFAULT_DEVELOPER has to be removed.
For the rest of your comment I'm +1000 and this is tracked in https://issues.jboss.org/browse/AGPUSH-223