Added dummy classes PostingList and Document