IdEncoder doesn't need java.util.Random anymore