Thanks for posting. What firmware are you using and how can we duplicate this issue? Please send us "show run", "show ver", and the CLI commands being entered.
Well this is embarrassing! I tried to duplicate the issue and it looks like both VRF and IPSec are now allowed in the same configuration. To be honest the last time I tried to deploy this was over a year ago, probably with A5.03 or thereabouts. I'm usually pretty diligent about reading release notes but I may have missed this or Adtran sneaked it in quietly.