やっぱり使うなら一番新しい「ヤツ」がいいんじゃないか？と思ってDITA-OT（DITA Open Tool Kit）を4.1.2から4.2に上げてみました． でもですね、こういうメジャーなバージョンアップの時はやっぱりいろいろ問題があるようです．私のプラグインのXSLTスタイ…