rich try/catch/finally semantics without source filtering Sergey Aleynikov <sergey.aleynikov@gmail.com>