Icon Theme configured in the preferences is loaded with a bad name

In java, if you do:

iconSetManager.getCurrentIconSet().getName()

you get xwiki:IconThemes.FontAwesome instead of "Font Awesome", which is returned by DefaultIconSetManager#getIconSetNames().