Update and rename .java to BigInteger.java