Binary.size is now of type Integer (long) and is 64 bits in Java
Fixed type of bottom to Object as it would be when compiled
Fixed java impl of optional