XWIKI-11041: When {{xwiki.defaultbaseskin}} is empty, XWiki#getDefaultBaseSkin() returns {{xwiki.defaultskin}}.
* some optimizations