update for jdk 1.7 api compatibility