Tag checked exceptions in Java