Water jet cutting machines