added getters and setters for json serialization