Configuration file webdesk.properties and environment variables