I use PHPStorm and it actually use `/**`.
But it also understand `/*` and since Eclipse seems to prefer this last syntax, i thought it would be better.