new release: 1.4.0.Final