tree 88df7563f1c3ebd02b021289983b74bb1b9c8a39
parent 05215bd437b9b0e2de8692564c21b861a152cf5a
author Carsten Hammer <carsten.hammer@t-online.de> 1617385468 +0200
committer Jeff Johnston <jjohnstn@redhat.com> 1647983763 -0400

Bug 579374 - Use Charset.defaultCharset() for file encoding

Related to Bug 571823 - update usage of some systemproperties

Change-Id: I85c6825d3e6ae7d78275781b939cb92b03fe99f0
Signed-off-by: Carsten Hammer <carsten.hammer@t-online.de>
Reviewed-on: https://git.eclipse.org/r/c/jdt/eclipse.jdt.ui/+/178796
Tested-by: JDT Bot <jdt-bot@eclipse.org>
Tested-by: Jeff Johnston <jjohnstn@redhat.com>
Reviewed-by: Jeff Johnston <jjohnstn@redhat.com>