you can run a developer on the server. But do use another servoy.properties file then.
So copy the current one: servoy.properties file to servoy-developer.properties file then start developer with that property file so alter the servoy_developer.bat and add a system property to the startup: -Dproperty-file=servoy_paul.properties
Place that directly after the java command don’t just append it to the string that doesn’t work.