JBIDE-17238 - forgotten commit yields broken servertools build.  Commit enhances API of memento classes.