eclipse: use java 1.6