The Java compiler uses this specification to ensure ... The compiler does not check type correctness, which could lead to a ClassCastException at runtime. Increased cost of maintenance: Code ...