BONDI – and open source industry collaboration for widget and web technologies