Fix a bug in jaxb + function