[VDM19] Enough java.lang.String to Hang Ourselves ... by Heinz Kabutz