String charset = getCharacterEncoding();
String encoding = getCharacterEncoding();
	public PrintWriter getWriter() throws IOException {		if (writer == null) {			synchronized (this) {				if (writer == null) {					if (gotOutputStream) {						throw new IllegalStateException();					}					String charset = getCharacterEncoding();					writer = new ServletPrintWriter(servletOutputStream, charset);					if (contentType == null) {						// BUGBUG Must not set a default content type.						// Servlet 2.3 Section 5.3						contentType = "text/plain; charset=" + charset; //$NON-NLS-1$						setHeader("Content-Type", contentType); //$NON-NLS-1$					} else {						if (contentType.toLowerCase().indexOf("charset=") == -1) // 99372 //$NON-NLS-1$						{							contentType = contentType + "; charset=" + charset; //$NON-NLS-1$							setHeader("Content-Type", contentType); //$NON-NLS-1$						}					}				}			}		}		return (writer);	}