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

• Type: Improvement
• Status: Closed
• Priority: Trivial
• Resolution: Fixed
• Affects Version/s: 10.7.1.1
• Fix Version/s: 10.9.1.0
• Component/s: Build tools
• Assignee: Dave Brosius
• Reporter: Dave Brosius
• Created: 20/Apr/11 05:21
• Updated: 17/Jun/13 09:19
• Resolved: 13/May/11 09:52

Description

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