Fixed compilation on JDK 7 (fixing issue #47)