<unit id="it.unimi.dsi.fastutil" version="7.0.13"/>
<unit id="it.unimi.dsi.fastutil.source" version="7.0.13"/>
<unit id="jakarta-regexp" version="1.4.0"/>
<unit id="it.unimi.dsi.fastutil" version="7.0.13"/>
<unit id="it.unimi.dsi.fastutil.source" version="7.0.13"/>
<unit id="jakarta-regexp" version="1.4.0"/>