Java Transformationにおいて、サードパーティ製ライブラリをロードするために編集するファイルはどれか。

restenv.propertiesファイルのINFA_RESOURCES等にパスを追記することで、クラスパスを拡張できる。