///usr/bin/env jbang "$0" "$@" ; exit $?

//JAVA 25+

import java.io.*;

import java.sql.*;

import java.text.*;

/// Proof: multi-catch

/// Source: content/errors/multi-catch.yaml

void process() throws IOException, SQLException, ParseException {}

void log(Exception e) { System.err.println(e); }

void main() {

try {

process();

} catch (IOException

| SQLException

| ParseException e) {

log(e);

}

}