a plugin for xujc