RDLProofSystem / src / main /
..
java Resourceのequalsに残っていたgetTypeを削除しました 15 days ago