PHP on the JVM (I don't know why, it could be useful or fun ;))