These are GPL-licensed. This removes the dependency on the ARM JDK being installed in order to build wpilibj. Change-Id: I6ea89f601a2e8210acaf9ae257ddc289c548d7f3