From c6c8d7500adad48a5580a269e7d4ce4e6751afb5 Mon Sep 17 00:00:00 2001
From: "nboyd%atg.com" <nboyd%atg.com>
Date: Tue, 12 Jun 2001 20:35:48 +0000
Subject: [PATCH] Names should be final.

---
 js/rhino/src/org/mozilla/javascript/Context.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/js/rhino/src/org/mozilla/javascript/Context.java b/js/rhino/src/org/mozilla/javascript/Context.java
index 62f49827eb36..f18c1c799743 100644
--- a/js/rhino/src/org/mozilla/javascript/Context.java
+++ b/js/rhino/src/org/mozilla/javascript/Context.java
@@ -82,8 +82,8 @@ import org.mozilla.javascript.debug.*;
  */
 
 public class Context {
-    public static String languageVersionProperty = "language version";
-    public static String errorReporterProperty   = "error reporter";
+    public static final String languageVersionProperty = "language version";
+    public static final String errorReporterProperty   = "error reporter";
     
     /**
      * Create a new Context.