Some images in the folder of the renewal theme in JBoss Portal 2.7 don't seem to be used at all (header-bg.gif, for instance), is that really the case? Thanks.