Re: [Pharo-users] problem with Pharo-Launcher