5. :: DEFINITIONS ::
4.12 Variables: A variable is a storage
location and has an associated type,
sometimes called its compile-time type,
that is either a primitive type (§4.2) or a
reference type (§4.3).
6. :: DEFINITIONS ::
4.12.1 Variables of Primitive Type: A
variable of a primitive type always holds a
value of that exact primitive type.
7. :: DEFINITIONS ::
4.12.2 Variables of Reference Type: A
variable of a class type T can hold a null
reference or a reference to an instance
of class T or of any class that is a subclass of
T.