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.

Status

Assignee

Chris Rankin

Reporter

Andras Slemmer

Labels

None

Priority

Medium

Fix versions

Ported to...

None

Feature Team

SGX

CVSS Vector

None

Severity

Medium
Configure