To fix the MLICENSE-5 bug (see http://jira.codehaus.org/browse/MLICENSE-5).
