link to https://github.com/jmock-developers/jmock-library/issues/9