first push with java 7 bug fix