eclipse-sprotty/sprotty not found