@@ -60,10 +60,11 @@ /* public */ static LayeredHighlighter.LayerPainter WindowsPainter = new WindowsHighlightPainter(null); /* public */ + @SuppressWarnings("serial") // Superclass is not serializable across versions static class WindowsCaret extends DefaultCaret implements UIResource { /** * Gets the painter for the Highlighter. *