Adds NautyHashMethod.java