JCS - WindowsHighlightPainter

File	Doc	Category	Size	Date	Package
WindowsTextUI.java	API Doc	Java SE 5 API	6215	Fri Aug 26 14:54:50 BST 2005	com.sun.java.swing.plaf.windows