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 mlvm-dev@openjdk.java.net http://mail.openjdk.java.net/mailman/listinfo/mlvm-dev
