(Better JavaDoc for the 3 main exception classes.)