fix some eclipse stuff