[statet-dev] [CI] Build 'statet-main' #208 (202212032100 / commit 5c314c

[ci-admin@xxxxxxxxxxx]

Build 'statet-main' #208 (202212032100 / commit 5c314ca1)
https://ci.eclipse.org/statet/job/statet-main/208/
Result state: SUCCESS

### Changes

  * [RJ-Server] Add compatibility tweak to R API
  * [REnv] Add R util function to generate `renv.properties` file
  * [RJ-Server] Tweak startup.sh of remotetools
  * [RJ-Server] Add support for `renv.properties` files in startup.sh of
  * [REnv] Add text variable `user_home` to REnvConfiguration
  * [RJ-Server] Improve startup.sh of remotetools
  * [R-Help] Tweak readme file for server

### Deployed to

  * Downloads:  https://download.eclipse.org/statet/integration/latest
  * Maven repo: https://repo.eclipse.org/content/repositories/statet-snapshots