--- old/src/share/classes/javax/swing/plaf/basic/BasicTableHeaderUI.java 2014-06-30 09:09:48.000000000 -0700 +++ new/src/share/classes/javax/swing/plaf/basic/BasicTableHeaderUI.java 2014-06-30 09:09:48.000000000 -0700 @@ -103,7 +103,7 @@ if (e.getClickCount() % 2 == 1 && SwingUtilities.isLeftMouseButton(e)) { JTable table = header.getTable(); - RowSorter sorter; + RowSorter sorter; if (table != null && (sorter = table.getRowSorter()) != null) { int columnIndex = header.columnAtPoint(e.getPoint()); if (columnIndex != -1) { @@ -772,9 +772,9 @@ */ public Dimension getMinimumSize(JComponent c) { long width = 0; - Enumeration enumeration = header.getColumnModel().getColumns(); + Enumeration enumeration = header.getColumnModel().getColumns(); while (enumeration.hasMoreElements()) { - TableColumn aColumn = (TableColumn)enumeration.nextElement(); + TableColumn aColumn = enumeration.nextElement(); width = width + aColumn.getMinWidth(); } return createHeaderSize(width); @@ -788,9 +788,9 @@ */ public Dimension getPreferredSize(JComponent c) { long width = 0; - Enumeration enumeration = header.getColumnModel().getColumns(); + Enumeration enumeration = header.getColumnModel().getColumns(); while (enumeration.hasMoreElements()) { - TableColumn aColumn = (TableColumn)enumeration.nextElement(); + TableColumn aColumn = enumeration.nextElement(); width = width + aColumn.getPreferredWidth(); } return createHeaderSize(width); @@ -802,9 +802,9 @@ */ public Dimension getMaximumSize(JComponent c) { long width = 0; - Enumeration enumeration = header.getColumnModel().getColumns(); + Enumeration enumeration = header.getColumnModel().getColumns(); while (enumeration.hasMoreElements()) { - TableColumn aColumn = (TableColumn)enumeration.nextElement(); + TableColumn aColumn = enumeration.nextElement(); width = width + aColumn.getMaxWidth(); } return createHeaderSize(width); @@ -875,7 +875,7 @@ String name = getName(); if (TOGGLE_SORT_ORDER == name) { JTable table = th.getTable(); - RowSorter sorter = table == null ? null : table.getRowSorter(); + RowSorter sorter = table == null ? null : table.getRowSorter(); if (sorter != null) { int columnIndex = ui.getSelectedColumnIndex(); columnIndex = table.convertColumnIndexToModel(