now the rename of pdfserver; added encoder; added test properties