See this file in the Coin-2 repository.