()
| 380 | } |
| 381 | |
| 382 | public static Collection<ZippedTheme> getAvailablethemes() { |
| 383 | refreshAvailableThemes(); |
| 384 | return Collections.unmodifiableCollection(availableThemes.values()); |
| 385 | } |
| 386 | |
| 387 | static public String get(String attribute) { |
| 388 | return table.get(attribute); |
no test coverage detected