- scope = new JSScope(null);
- scope.put("prevalent", prevalent);
+ scope = new JSScope(null) {
+ { super.put("prevalent", prevalent); }
+
+ public void put(String k, String v) throws JSExn {
+ if (k != null && k.equals("prevalent")) throw new JSExn(
+ "can not replace key prevalent");
+ super.put(k, v);
+ }
+ };