[Soot-list] call to <clinit> in Jimple

[Eugen Zalinescu]

Hello,

I have generated the Jimple code corresponding to the
securibench.micro.inter.Inter6 (contained in soot-infoflow) and the
translation of doGet ends with the following lines:
        $r5 = new securibench.micro.inter.Inter6$ReflectivelyCreated;
        specialinvoke
$r5.<securibench.micro.inter.Inter6$ReflectivelyCreated: void
<init>()>();
        return;
where ReflectivelyCreated is a static class.

Shouldn't there be instead (or additionally) an explicit
(staticinvoke?) call to <clinit>?

Thanks,
Eugen