On Wed, 09 Sep 2015 20:36:00 +0300 patspiper <patspiper at gmail.com> wrote: >[...] > > Should I create a bug report? > Just delete environmentoptions.xml. That worked for me. Yes, that is a workaround. But using file versions, a developer can easily see, what is old and what version introduced the change. Mattias