The standard also requires deferred revenue to be recognized when a forfeiture judgment is obtained, but the deferred revenue is reversed when revenue is recognized.
Revenue should be recognized when a forfeiture judgment is obtained.