echo "echo You may restart your session to activate  jenv export plugin"