You are confusing me, are you working on Nukes (1.1) or Jboss Portal (aka Nukes 2) ? I say that because you posted some questions on the other forum.
I guess you changed the default theme by using the jmx-console.
I think that to answer your question, you have to change the existing users theme by hand in the database (or they have to change it themself), new users should have the default theme when they register though.
PS: i am not sure...
we are currently using Nukes 1.1, but we are planning to move to the very sexy JBoss Portal in the New Year, which is why I was posting in the other forum, since we are having lots of review meetings at the mo'. Sorry for the confusion, and thanks for your help.
Thanks for the details. I am less confused now :)