DERBY-5200; [patch] embellish build.xml to automatically install junit.jar in the correct directory if it doesn't exist Added a restriction to accomodate setting of the junit property; if junit is set, there will be no attempt to download.