Casts eingefuegt, die bis Java 6 noch noetig sind. Eclipse-Projekteinstellungen so geaendert, dass das auch in der IDE mit Java 6 laeuft.