docs: @Override
  	public BaseDateTimeType setValue(Date theValue) {
  		if (myTimeZoneZulu == false && myTimeZone == null) {
  			myTimeZone = TimeZone.getDefault();
  		}
  		myPrecision = getDefaultPrecisionForDatatype();
  		BaseDateTimeType retVal = (BaseDateTimeType) super.setValue(theValue);
  		return retVal;
  	}