java_heap_GB wanted to be integer. plus verify_cloud_size() in setup