Method setRandomSeed

src/main/java/net/minecraft/world/World.java:3680–3685

puts the World Random seed to a specific state dependant on the inputs

(int p_72843_1_, int p_72843_2_, int p_72843_3_)

     * puts the World Random seed to a specific state dependant on the inputs
     */
    public Random setRandomSeed(int p_72843_1_, int p_72843_2_, int p_72843_3_)
    {
        long i = (long)p_72843_1_ * 341873128712L + (long)p_72843_2_ * 132897987541L + this.getWorldInfo().getSeed() + (long)p_72843_3_;
        this.rand.setSeed(i);
        return this.rand;
    }

    public BlockPos getStrongholdPos(String name, BlockPos pos)
    {