rework of JSL4