i’ll build my own update site
switch back to old behaviour (discouraged but works without ClassCastException)
Merge branch 'develop' of github.com:bendisposto/prob into develop