DVB channels manager frontend for mplayer and linuxtv-dvb using java-gtk