diff --git a/jre/java/java/lang/jre.js b/jre/java/java/lang/jre.js
index 0c1b5b0bb3..c5c5e680a7 100644
--- a/jre/java/java/lang/jre.js
+++ b/jre/java/java/lang/jre.js
@@ -104,8 +104,8 @@ jre.addSystemPropertyFromGoogDefine('jre.checks.type', jre.checks.type);
 jre.checks.critical = goog.define('jre.checks.critical', 'AUTO');
 jre.addSystemPropertyFromGoogDefine('jre.checks.critical', jre.checks.critical);
 
-
-goog.provide('jre.logging');
+/** @const */
+jre.logging = {};
 
 /** @define {string} */
 jre.logging.logLevel =