Java7 fixes