JGC Holdings Corporation (formerly JGC Corporation) v. Kingdom of Spain, Decision on Annulment