nuxeo-themes

Hi,

I cannot build latest nuxeo-themes-core:

/home/george/work/nuxeo-ep/org.nuxeo.theme/nuxeo-theme-core/src/main/java/org/nuxeo/theme/themes/ThemeParser.java:[113,28] 
cannot find symbol
symbol  : method destroyTheme(org.nuxeo.theme.elements.ThemeElement)
location: class org.nuxeo.theme.themes.ThemeManager

No destroyTheme() method.. has it been renamed to destroyElement() ?


Thanks,
George