Updated devkit version to work with JDK 1.7.