Rename graphset to graphset.java