Included LtlEditor to pattern manager