default constructor to keep Spring happy