public class DDimension
A subclass of Dimension that uses doubles.
This is compatible with code that expects a Dimension (which uses int),
but can also be used where fractional lengths are needed.
Avoid setting the inherited public width and height fields
directly, as that can lead to inconsistencies.