Enable throwing Java exceptions from PHP