Specifying RainException to be thrown