AdaCore (via Public) / IHI Corporation chooses AdaCore's QGe