An aspect for idiom-based exception handling: (using local continuation join points, join point properties, annotations and type parameters)