try/catch

try/finally

try with resources

Throwable hierarchy

Assertions and invariants

• Preconditions
• Post conditions
• Class invariants
• Assertions