This would be good to be configurable. Maybe use the Java value, for the moment (if that one has an option in Preferences)