renamed to clafer-tools-st3