[DERBY-3700] Get rid of tools/java/empty.jar

• Type: Improvement
• Status: Closed
• Priority: Trivial
• Resolution: Fixed
• Fix Version/s: 10.5.1.1
• Component/s: Build tools
• Assignee: Knut Anders Hatlen
• Reporter: Knut Anders Hatlen
• Created: 02/Jun/08 11:31
• Updated: 04/May/09 18:22
• Resolved: 03/Jun/08 13:42

Description

empty.jar is used to prevent the Java compiler from putting the default Java runtime libraries in the boot classpath. An empty directory would also work, so we could remove the jar file from the source repository and instead let the build scripts create an empty directory for us.