Java getter+setter as kotlin property case sensitivity

In postgres’ jdbc driver there is a PGSimpleDataSource class which have getURL/setURL and getUrl/setUrl
and kotlin does not allow to use it as property pgds.url = “…”
Why is that?

It’s a bug, reported

Aside from that, given how the synthetic property generation currently works, I don’t see how this can be simply resolved. Basically there are two different synthetic properties here with the same name url.

By convention, getUrl should be prioritized, and `URL` to get the other one.