--- a/jdk/test/com/sun/jdi/ShellScaffold.sh	Tue Mar 22 01:13:06 2016 -0700
+++ b/jdk/test/com/sun/jdi/ShellScaffold.sh	Tue Mar 22 19:29:25 2016 +0100
@@ -131,6 +131,9 @@
 
 # This can be increased if timing seems to be an issue.
 sleep_seconds=1
+if [ -n "$TIMEOUT_FACTOR" ] ; then
+  sleep_seconds=$(echo $TIMEOUT_FACTOR $sleep_seconds | awk '{printf "%d\n", int($1 * $2)}')
+fi
 
 echo "ShellScaffold.sh: Version" >& 2
 topPid=$$