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