Add JavaDOC (PrefManager)