I have a philosophical problem with this portion of the spec: > Nothing is a subtype of every obect type. How can something be a subtype of nothing? I think my philosophy professors would have flunked me in college if I were to assert that. :-) Are we really going to see java.lang.Object now as a subtype of java.lang.Nothing in the API docs? Paul