issue #912: set the serialVersionUID
4 files changed