e522a11fac4308fa24433ca17c349269e7bffbd1 - statet/org.eclipse.statet-rj

commit: e522a11fac4308fa24433ca17c349269e7bffbd1
[log]
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