Fix incorrect commit where URL of Codehaus was changed