Regarding a default 'admin' user regardless of other identity sources.

I have been playing with the identity login modules as mentioned in this thread http://jboss.org/index.html?module=bb&op=viewtopic&t=95229&start=20 , and kept running into the issue of an LDAP user (my identity source) not having the correct permission to manage the portal (I worked around and solved that problem, but still brought up a good point).

Then, I saw this open issue:
http://jira.jboss.com/jira/browse/JBPORTAL-1179

Should there be a 1) default 'admin' user for the portal, or 2) should it be left completely to the configured identity sources (ldap, db, etc)?



my vote:
1) - default 'admin' user regardless of configured identity sources, and always from a local-configured password and will always supercede any 'admin' user from configured identity sources.