PHP to Java sources converter