A Java library for reading (and writing) DVB streams