code: @Override
      public String varValue(String className, String varName) throws RunException, EngineTerminationException, InternalException {
          return super.varValue(className, varName);
      }
docs: Overridden only so this stack frame is seen