Fixing some eclipse stuff