--- a/jdk/src/share/classes/javax/swing/text/html/MinimalHTMLWriter.java Thu Jul 24 14:51:13 2008 +0400
+++ b/jdk/src/share/classes/javax/swing/text/html/MinimalHTMLWriter.java Thu Jul 24 16:43:36 2008 +0400
@@ -97,7 +97,7 @@
* Maps from style name as held by the Document, to the archived
* style name (style name written out). These may differ.
*/
- private Hashtable styleNameMapping;
+ private Hashtable<String, String> styleNameMapping;
/**
* Creates a new MinimalHTMLWriter.
@@ -134,7 +134,7 @@
*
*/
public void write() throws IOException, BadLocationException {
- styleNameMapping = new Hashtable();
+ styleNameMapping = new Hashtable<String, String>();
writeStartTag("<html>");
writeHeader();
writeBody();
@@ -296,7 +296,7 @@
*/
it.current();
- Element next = null;
+ Element next;
writeStartTag("<body>");
@@ -715,7 +715,7 @@
if (styleNameMapping == null) {
return style;
}
- String retValue = (String)styleNameMapping.get(style);
+ String retValue = styleNameMapping.get(style);
return (retValue == null) ? style : retValue;
}