A core calculus for Java exceptions (extended abstract)