Rename .primos to .java