->From lindholm@taller Thu Feb 12 13:36:51 1998
->
->Is jvmdi.h intended to be used by random developers, i.e. the users of
->the binary JDK, like jni.h is? jvm.h is not something that JDK users
->will have access to. It sounds like you want tools vendors using our
->binary tools to have access to jvmdi.h, although random developers won't
->need it. If so, jvmdi.h goes more with jni.h than jvm.h.
->
->-- Tim

Yes, we want tools vendors using jvmdi.h - so it seems "include" is
the right place for it.

-Robert