use our mirror of snmp4j instead