Arduino LLC is offering a recently-updated version 1.6.3 at arduino.cc, but Arduino SRL has bumped up the version number ... If you’re interested in doing some code-sleuthing, have a look ...