more progress on the definition serialization for the java rewrite engine