Remi, could you update PHP.reboot so that it works with a current JDK 7 build (upcoming b146 that is)?
-- Christian _______________________________________________ mlvm-dev mailing list [email protected] http://mail.openjdk.java.net/mailman/listinfo/mlvm-dev
