[l] Hmm, wir haben schon einen Bug des Tages. Nennen wir das hier dann den Bug der Woche: Google räumt ein, dass der "sichere" Zufallszahlengenerator von Android-Java unsicher ist. Und weil das mit dem Android Updaten in der Praxis so ein Clusterfuck von galaktischen Ausmaßen ist, publizieren sie auch Code für einen Workaround, den man in seine App einbauen kann. Man muss da von Hand Zufallsdaten aus /dev/urandom seeden.