mirror of
https://github.com/corda/corda.git
synced 2025-06-01 15:10:54 +00:00
The ArrayList(Collection) constructor was allocating two arrays instead of one due to an off-by-one error in ArrayList.grow. This commit fixes that and makes grow and shrink more robust.