Yes - was already brought up - although am pretty sure if it was a problem with the major OSs then pretty much all of our BTC should already have been stolen (the thieves didn't waste any time stealing from the broken Java RNG implementation in Android - why would they not have done the same for others then?).

Also note that people did run checks on the entire blockchain (you'll need to search for the relevant topics) for the re-use of the random K values in tx's - apparently re-used K values only showed up for a very small number of tx's that all appear to be from the Java RNG issue (the same analysis was undoubtedly how the thieves worked out what they could steal).