Chupinazo de 1986, UJUE