javaClassName
SpecIdentification
SpecName