DP Navigator change default port 5555 to 8555??

Hello,

in our DP Environment we had change the default Port from 5555 to 8555. So we need to change the Port also in DP Navigator!!!  HowTo??

Does anybody know howto???

Thanks in advance ;-))