deviceKeyCounter is replaced with an AtomicInteger.

In floodlight/floodlight@76007c4, deviceKeyCounter is replaced with an AtomicInteger.