Some more java 6 markers