slight JavaDoc fix regarding what Exception can be thrown