return Event.KEY_SLASH;
case Keys.KEYCODE_SPACE:
return Event.KEY_SPACE;
case Keys.KEYCODE_TAB:
return Event.KEY_TAB;
<BUG>default:
return Event.KEY_NONE;
}</BUG>
}
static public URL getThemeURL (String themeFile, final FileType fileType) throws MalformedURLException {

return Event.KEY_SLASH;
case Keys.KEYCODE_SPACE:
return Event.KEY_SPACE;
case Keys.KEYCODE_TAB:
return Event.KEY_TAB;
}
return Event.KEY_NONE;
}
static public URL getThemeURL (String themeFile, final FileType fileType) throws MalformedURLException {
