fix merge error (caused by the vob subtitle bug merge)
[vuplus_dvbapp] / NavigationInstance.py
2005-05-16 Felix Domke - add missing files