Added constructor to EncodingManager