Гарри - это самодостаточное имя. Возможно, ранее он и было производным от Генри, но теперь это отдельное имя. Второй принц Великобритании носит имя Гарри, а не Генри.