A version plugin for Flash Builder