org.snmp4j.agent.request.SnmpRequest.nextRequestID() does not look thread-safe. Is this a bug? The data type of transactionID is int. public static int nextTransactionID() { return nextTransactionID++; }