fix snmp4j embedding