Make shape and stoptime immutable since they are stored in a MapDB. To change them, simply create a new one.