Fix Eclipse, hopefully.