pmd/pmd-dist
Andreas Dangel 53a763d901 Make run.sh / designer.bat compatible with java/openjfx
* Use JAVAFX_HOME to add extra classpath for openjfx
* Add back the jre_specific_vm_options when needed
2018-08-15 23:25:22 +02:00
..