If they don't want to catch the error, and there's nothing in the finally, then the whole TryStatement is useless and should be replaced with the try body. That seems like something worth notifying a user about.