Rename BitInteger to BitInteger.java