Snapshot/Restore: fix compilation issue for JDK 1.7