diff --git a/build/build.xml b/build/build.xml index 5d4fa2f09..ed5657f38 100644 --- a/build/build.xml +++ b/build/build.xml @@ -50,6 +50,10 @@ being available. We could do hoops to add the special case, or we can require JDK 7. No time to implement the special case. --> + + +