Carlos Ruiz 51841d0a39 Minor - solve two new eclipse 2022-09 warnings (#1515)		2022-10-06 11:48:13 +08:00
..
org.eclipse.core.resources.prefs	…