Removed MintermsUtil.js