WebKeys.THEME_DISPLAY);
Layout layout = themeDisplay.getLayout();
PortletPreferences preferences =
PortletPreferencesFactoryUtil.getLayoutPortletSetup(
layout, portlet.getPortletId());
<BUG>Enumeration<String> enu = preferences.getNames();

while (enu.hasMoreElements()) {

String name = enu.nextElement();
</BUG>
if (name.startsWith(_IGNORE_PREFIX) ||

WebKeys.THEME_DISPLAY);
Layout layout = themeDisplay.getLayout();
PortletPreferences preferences =
PortletPreferencesFactoryUtil.getLayoutPortletSetup(
layout, portlet.getPortletId());
Enumeration<String> preferenceNames = preferences.getNames();
while (preferenceNames.hasMoreElements()) {
String name = preferenceNames.nextElement();
if (name.startsWith(_IGNORE_PREFIX) ||
