Java checked exceptions are a handy abstraction for a sequential workflow. When thread switches are introduced, even though the exception abstraction remains valid at the description level, the ...