changed interface of MarkForRefinement to pass the INT data as INT and

not as void*. NULL as parameter should still work (because that's what
happened anyway). If you want to pass a number just remove the explicit
cast...

[[Imported from SVN: r8015]]