Vielen Dank für den Hinweis - Sie haben völlig Recht, das Problem ist in der aktuellen Version bereits beseitigt, die wir mit dem kommenden Servicepack (Anfang/Mitte August) ausliefern werden. Bis dahin können Sie das natürlich bedenkenlos in Ihrem Code anpassen.