Added some eclipse-stuff