How to install Properties Editor

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