adding grey-duck.util