--------------------------------------------------------------------------
stratego-util
--------------------------------------------------------------------------
