Fixed #28: exception.getMessage() now reports error.getDeveloperMessage() instead of error.getMessage()