From 18 Jan, 2021 0:00 UTC: All services will be temporary unavailable for maintenance

How to install Properties Editor

ファイルを解凍すると、
ダウンロードしたzipファイルを解凍すると、eclipseというフォルダができて、その中にはfeatures, pluginsというフォルダがはいっています。
これを実際のeclipseフォルダに上書コピーします。これだけです。eclipseは再起動する必要があります。