Checked exceptions are hardly Java's biggest mistake.