java compatibility: 1.6 -> 1.7