Predicting Python's Mersenne twister PRNG for 30c3 CTF, with Python calling Java, yeah