fill in some java 7 blanks