Added cast specification to checkstyle

Should be the last change for now...