Instructions on PHP/JavaBridge