root/dev: links for java-random