Formated PKB.h as PKBBuilder and PKBExtractor