tree 49efda70ea316448bfe0e1af2f87121ee6d502d7
parent 2c70a60dbee6444f710f4fe6d6482937a5c2c4b3
author Lars Vogel <Lars.Vogel@vogella.com> 1579027639 +0100
committer Lars Vogel <Lars.Vogel@vogella.com> 1579027639 +0100

Avoid using deprecated Double constructor in Preferences

Change-Id: Ib3e975b29a98269bd5a0507711963c99a4efaed5
Signed-off-by: Lars Vogel <Lars.Vogel@vogella.com>