Throwing the aborted exception seems to be unnecessary. In addition to that it's difficult to catch it in a real application.