fix for JUndef serializing