The class Javadoc claimed "There are currently five different types of
resource change events" but the bullet list immediately below it
enumerates six (PRE_BUILD, POST_BUILD, POST_CHANGE, PRE_CLOSE, PRE_DELETE,
PRE_REFRESH). The count drifted when PRE_REFRESH was added and would
drift again whenever a new type is introduced, so replace the count with
"The following types of resource change events are reported:".