JDeveloperのロギング・コンソールでギリシャ文字を表示する方法

この問題の実用的な解決策を見つけました（少なくともJDev 12.1.2.0では機能しましたが、11.xでも機能するはずです）：

jdk.conf（JDEV_HOME / jdeveloper / ide / bin）に次の行を追加し、JDeveloperを再起動します。

AddVMOption  -Dfile.encoding=UTF-8