| commit | e522a11fac4308fa24433ca17c349269e7bffbd1 | [log] [tgz] |
|---|---|---|
| author | Stephan Wahlbrink <sw@wahlbrink.eu> | Wed Oct 20 17:35:12 2021 +0200 |
| committer | Stephan Wahlbrink <sw@wahlbrink.eu> | Thu Oct 21 21:22:46 2021 +0200 |
| tree | 7100cca7acfe39f372c6ff0a3ab5223719cbef52 | |
| parent | cf8326c01e537740b70454be2c934f8be0a14fc8 [diff] |
Bug 576774: [RJ-Servi] Migrate to java.time API Also: - Rename some config properties to more meaningful names - Fix display names of properties in MXBeans Change-Id: I120cc837e51e321f01ca06122c103ce2d3d96b37