Re-encode as utf8, so open() in python 3 doesn't reject it.

Author: natebragg

test/axioms/benchmarks/HashMap2/HashTable.java

@@ -1,7 +1,7 @@
 package Interfaing;
 
 public interface HashTable<K, V> {
-	// put key­value pair into the table
+	// put key­value pair into the table
 	public void put(K key, V value);
 
 	// get value paired with key, return null if