Updating HpsException to fix PHP 5.2 bug