Interface EnvEx3

src/chap14/ToJava.java:51–53

    }

    @Reviser public static interface EnvEx3 extends EnvOptimizer.EnvEx2 {
        JavaLoader javaLoader();
    }
    @Reviser public static class ArrayEnvEx extends ArrayEnv {
        public ArrayEnvEx(int size, Environment out) { super(size, out); }
        protected JavaLoader jloader = new JavaLoader();