Repairing default constructor of server