Fix #775: Implement java.util.Random to spec