Changes to the Java (reference) version: 1. Make it so Listener doesn't have a finalizer. Simpler if it's explicit. 2. Fix an inefficiency in listen().
Changes to the Java (reference) version:
1. Make it so Listener doesn't have a finalizer. Simpler if it's explicit.
2. Fix an inefficiency in listen().

jam40jeff/sodium,jam40jeff/sodium,kevintvh/sodium,jam40jeff/sodium,jam40jeff/sodium,jam40jeff/sodium,jam40jeff/sodium,kevintvh/sodium,kevintvh/sodium,jam40jeff/sodium,kevintvh/sodium,jam40jeff/sodium,kevintvh/sodium,kevintvh/sodium,kevintvh/sodium,kevintvh/sodium