(No) Problem with AlternateRowHighlighter in a JXTreeTable (resolved)