javaewah-compatible (de)serialization