change maven-compiler-plugin's default jdk version to 1.7, add BloomFilters.java