Fix compilation of Java set_config_version method