no, there is no clear().
it should be safe to let it die, since it does not contain pointers... but clearing it manually will not hurt