da018e9d06
UncaughtExceptionPath label out of a finally block matches every label that is not handled by another edge, and a labeled edge from the middle of a finally block aborts the jump and so should merge all available data.