use java 7 libraries