Where is java.lang.Class defined?