History for SpringTools

Revisions
@yuuhayashi yuuhayashi on 22 Apr 2022 : merge