use java 7 style