set property osgi.splashpath in config ini correctly