Puerto Rican government agency claims Infor's negligence cost it $9 million