javadoc for exceptions