diff -r a28e6f0b511b -r 59c522d83ed9 jdk/src/share/instrument/JarFacade.c
--- a/jdk/src/share/instrument/JarFacade.c	Thu Feb 13 00:01:07 2014 +0100
+++ b/jdk/src/share/instrument/JarFacade.c	Thu Feb 13 14:08:12 2014 +0000
@@ -33,6 +33,7 @@
 #endif /* _WIN32 */
 #include <string.h>
 #include <stdlib.h>
+#include <ctype.h>
 
 #include "jni.h"
 #include "manifest_info.h"