ViperIDE has moved to https://viper-ide.org
If you installed ViperIDE as an App, please remove it and install using the new website