DJVM documentation incorrect around `djvm check`

Description

We switched from static checks to runtime exceptions. We can mitigate this by emitting diagnostics when we insert exceptions, but for the meantime we should update the documentation to reflect the current behaviour.

The DJVM CLI tool has also been broken since the corda_release_version property value was migrated from build.gradle to constants.properties.

Assignee

Chris Rankin

Reporter

Andras Slemmer

Epic Link

None

Priority

Medium

Engineering Teams

None

Fix versions

Affects versions

None

Ported to...

None

Sprint

None

Labels

None

Story Points / Dev Days

None

Feature Team

SGX

Severity

Medium
Configure