Updating paper to camera ready. Updating document to refer to DoppioJVM exclusively.