(STRINGP-WHEN-CLASS-NAMEP)
(PACKAGE-OF-CLASS-NAME)
(STRINGP-OF-PACKAGE-OF-CLASS-NAME
 (15 3 (:REWRITE STRINGP-WHEN-CLASS-NAMEP))
 (12 8 (:REWRITE DEFAULT-+-2))
 (11 1 (:DEFINITION COUNT-STRINGP))
 (11 1 (:DEFINITION COUNT-LISTP))
 (10 2 (:DEFINITION LEN))
 (9 3 (:REWRITE DEFAULT-<-2))
 (8 8 (:REWRITE DEFAULT-+-1))
 (6 6 (:TYPE-PRESCRIPTION JVM::CLASS-NAMEP))
 (5 1 (:DEFINITION CHAR))
 (4 4 (:REWRITE DEFAULT-CDR))
 (3 3 (:REWRITE JVM::USE-ALL-CLASS-NAMESP-2))
 (3 3 (:REWRITE JVM::USE-ALL-CLASS-NAMESP))
 (3 3 (:REWRITE DEFAULT-<-1))
 (2 2 (:REWRITE DEFAULT-COERCE-2))
 (2 2 (:REWRITE DEFAULT-COERCE-1))
 (2 2 (:REWRITE DEFAULT-CAR))
 (2 1 (:DEFINITION NTH))
 )
(TURN-DOTS-INTO-SLASHES
 (5 5 (:TYPE-PRESCRIPTION TRUE-LISTP-SUBSTITUTE-TYPE-PRESCRIPTION))
 (5 5 (:TYPE-PRESCRIPTION STRINGP-SUBSTITUTE-TYPE-PRESCRIPTION))
 )
(STRINGP-OF-TURN-DOTS-INTO-SLASHES
 (1 1 (:TYPE-PRESCRIPTION TRUE-LISTP-SUBSTITUTE-TYPE-PRESCRIPTION))
 )
(UNQUALIFIED-CLASS-NAME)
(CLASS-NAMEP-OF-UNQUALIFIED-CLASS-NAME
 (26 4 (:REWRITE STRINGP-WHEN-CLASS-NAMEP))
 (11 1 (:DEFINITION COUNT-STRINGP))
 (7 3 (:REWRITE DEFAULT-<-2))
 (5 1 (:DEFINITION LEN))
 (5 1 (:DEFINITION CHAR))
 (4 2 (:REWRITE DEFAULT-+-2))
 (3 3 (:REWRITE DEFAULT-<-1))
 (2 2 (:REWRITE JVM::USE-ALL-CLASS-NAMESP-2))
 (2 2 (:REWRITE JVM::USE-ALL-CLASS-NAMESP))
 (2 2 (:REWRITE DEFAULT-COERCE-2))
 (2 2 (:REWRITE DEFAULT-COERCE-1))
 (2 2 (:REWRITE DEFAULT-+-1))
 (2 1 (:DEFINITION NTH))
 (1 1 (:REWRITE DEFAULT-CDR))
 (1 1 (:REWRITE DEFAULT-CAR))
 )
(PATH-OF-CLASS-FILE-WITHIN-DIR
 (3 3 (:REWRITE DEFAULT-CDR))
 (3 3 (:REWRITE DEFAULT-CAR))
 (1 1 (:REWRITE JVM::USE-ALL-CLASS-NAMESP-2))
 (1 1 (:REWRITE JVM::USE-ALL-CLASS-NAMESP))
 )
