more java 7 style