Add additional Javadoc for AssertionFailedError.java