--- old/tools/Jemmy/JemmyFX/build.xml 2017-01-31 14:08:11.491884849 +0300 +++ new/tools/Jemmy/JemmyFX/build.xml 2017-01-31 14:08:11.435884301 +0300 @@ -73,12 +73,16 @@ + + + + @@ -95,7 +99,7 @@ -No Jemmy core sources! +No Jemmy core sources! Sources are available from jemmy.java.net. Specify the location by jemmy.core.source variable. @@ -107,9 +111,9 @@ - + - +