pitpn2maude-journal