Replaced some references to DefaultPrefixManager with PrefixManager

Uses of DefaultPrefixManager that only used the PrefixManager interface
have been replaced.