Hi Thomas, On 05/31/2016 02:13 PM, Thomas Schatzl wrote: > a condition "@requires vm.opt.whatever == "null"" means that > "whatever" should not be set afaik. Thanks, Thomas Yes, you're right. Thanks for reviewing this. Michail