A new HTML reporter for the JSystem framework