Documentation: Adds missing Maven dependency version

[maxkratz]

Currently, the version information for the Maven dependency is missing within the EdgeDB documentation: https://www.edgedb.com/docs/clients/java/index

This PR adds the missing version information to fix the related Maven error:

[...]
[ERROR] [ERROR] Some problems were encountered while processing the POMs:
[ERROR] 'dependencies.dependency.version' for com.edgedb:driver:jar is missing. @ line 23, column 14
[...]

[quinchs]

I left the version out because of doc sync, there may be moments where what it says on the docs isn't the most up-to-date version. I think we could fix this more elegantly with some website code, cc @jaclarke: is there infrastructure in place for this in other binding docs?

[maxkratz]

I left the version out because of doc sync, there may be moments where what it says on the docs isn't the most up-to-date version.

Okay, this makes sense to me. Maybe we can integrate a placeholder for the version etc.?

I think we could fix this more elegantly with some website code, cc @jaclarke: is there infrastructure in place for this in other binding docs?

This would probably be the most elegant solution.

[jaclarke]

is there infrastructure in place for this in other binding docs?

Not currently, if I'm understanding right. To clarify, we want to have some kind of placeholder that gets replaced at build time with the latest version? (from I guess somewhere like the github releases api? https://api.github.com/repos/edgedb/edgedb-java/releases/latest)

Edit: Or maybe it would be easier to have as part of the publish workflow in the client repos, a step to update the version in their docs, that could then trigger the website re-deploy webhook?

[maxkratz]

Any news on this? The version is still missing on the documentation page. (I would be happy to update my PR to 0.2.3 - this would at least introduce a version to the page.)