Sorry Les, I did not change that manually. I just checked the history and this change was automatically applied by a dev merge. I am updating it (and the other POMs) now.