新幹線の施設や駅舎は開業したらJR九州（九州旅客鉄道株式会社）の持ち物になるのですか

新幹線の施設や駅舎は開業したらJR九州（九州旅客鉄道株式会社）の持ち物になるのですか。

新幹線の施設や駅舎は、建設した鉄道建設・運輸施設整備支援機構が所有し、JR九州（九州旅客鉄道株式会社）に有償で貸し付けることになります。