*** 223,232 **** --- 223,233 ---- private boolean isFocusedIndex(int index) { return index == focusedIndex; } + @SuppressWarnings("deprecation") void setFont(Font newFont) { if (newFont != font) { font = newFont; fm = Toolkit.getDefaultToolkit().getFontMetrics(font); // Also cache stuff like fontHeight?