Fix Java 1.7 compatibility by upping Jenkins plugin version to 1.424