Hm, guess this just goes to show how neat a person KeY actually is... LOL.. yeah, think it's about time I spend some effort clearing this trash...