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