(small part of) Java class hierarchy