Rename topk to topk.java