anchor.diff:  Properties vmProperties = System.getProperties();
   
   String vmEncoding = vmProperties.getProperty("file.encoding");
  -String ocEncoding = Bean.getDefaultContentEncoding();
  -boolean encodingOk = ocEncoding.equalsIgnoreCase(vmEncoding);
  +boolean encodingOk = Bean.getDefaultContentEncoding().equalsIgnoreCase(vmEncoding);
   
   //boolean encodingEditable = Bean.getSetupType();
   boolean encodingEditable = true;
  
positive.code: 	var vmEncoding = "<%= vmEncoding %>";
  	var ocEncoding = "" + form.defaultContentEncoding.value;
  	
  	return (vmEncoding == ocEncoding);
  }
  // -->
  </script>
  
negative.code: 						<ul>
  						<li>change the setting for the default character encoding of OpenCms,</li>
  						<li><b>OR</b> change the character encoding of your Java VM, and restart the setup wizard. Using Apache Tomcat, a different
  						character encoding is set in the environment variable CATALINA_OPTS using the -D parameter: <pre>CATALINA_OPTS=-Dfile.encoding=ISO-8859-1</pre></li>
  						</ul>
  						Please refer to the <a href="http://java.sun.com/j2se/1.4/docs/guide/intl/encoding.doc.html" target="_blank">Sun documentation</a> for a list of supported encodings.
  						</td></tr>
  