JCS - DefaultHighlightPainter

File	Doc	Category	Size	Date	Package
DefaultHighlighter.java	API Doc	Java SE 5 API	18801	Fri Aug 26 14:58:14 BST 2005	javax.swing.text