manifest: update for jdk7