Como o compilador Java 7 manipula blocos multi-catch? Uma implementação ingênua seria gerar bytecodes como se vários blocos catch estivessem presentes. No entanto, eu recolhi de várias fontes que este não é o caso -Um bloco catch que lida com vários tipos de exceção não contribui com nenhum bytecode duplicado durante a compilação.

Então, como isso funciona ? Existe uma nova instrução bytecode que informa a JVM sobre blocos multi-catch?