A PHP interpreter for Java