Update the GVMSpec for the new Java API