Looking at GitHub, the tag 5.0.2 includes MappingBinder.java from 4 Jun, and the master (the correct one) is from 1 Sep. So, it is in the master but why it was not included in the tag?