deviceKeyCounter is replaced with an AtomicInteger.

In floodlight/floodlight@76007c4, deviceKeyCounter is replaced with an AtomicInteger.
Merge pull request #405 from vy/patch-5

deviceKeyCounter is replaced with an AtomicInteger.