Rename JSONDefinition.php to JsonDefinition.php