[jira] [Created] (DERBY-5200) [patch] embellish build.xml to automatically install junit.jar in the correct directory if it doesn't exist.

[Dave Brosius (JIRA)]

[patch] embellish build.xml to automatically install junit.jar in the correct 
directory if it doesn't exist.
------------------------------------------------------------------------------------------------------------

                 Key: DERBY-5200
                 URL: https://issues.apache.org/jira/browse/DERBY-5200
             Project: Derby
          Issue Type: Improvement
          Components: Build tools
    Affects Versions: 10.7.1.1
            Reporter: Dave Brosius
            Priority: Trivial
             Fix For: 10.8.1.3


if tools/java/junit.jar doesn't exist, automatically install it from the 
central maven repository (location overrideable in local.properties) when 
running junit.

--
This message is automatically generated by JIRA.
For more information on JIRA, see: http://www.atlassian.com/software/jira