[jboss-user] [JBoss Portal] - Re: can't change the theme for default in CR1 bundle hsqldb