mirror of
https://github.com/corda/corda.git
synced 2025-04-23 18:33:54 +00:00
This eliminates JIT java compilation and the consequent need for tools.jar (which doesn't get shipped in DemoBench). It also makes development more pleasant by avoiding weird IDE integration issues that came from having java-in-resources.