import Ġws . s child . j ave .* Ċ import Ġjava . io . File Ċ Ċ internal Ġclass ĠVideo Converter Ġ{ ĊĠĠĠ Ġfun Ġconvert ( source : ĠFile , Ġtarget : ĠFile ) Ġ{ ĊĠĠĠĠĠĠĠ Ġval Ġaudio Ġ= ĠAudio Attributes (). apply Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġset Codec ( Audio Attributes . DIRECT _ STREAM _ COPY ) ĊĠĠĠĠĠĠĠ Ġ} ĊĊĠĠĠĠĠĠĠ Ġval Ġvideo Ġ= ĠVideo Attributes (). apply Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġset Codec (" mpeg 4 ") ĊĠĠĠĠĠĠĠ Ġ} ĊĊĠĠĠĠĠĠĠ Ġval Ġencoding Attributes Ġ= ĠEncoding Attributes (). apply Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġformat Ġ= Ġtarget . extension ĊĠĠĠĠĠĠĠĠĠĠĠ Ġaudio Attributes Ġ= Ġaudio ĊĠĠĠĠĠĠĠĠĠĠĠ Ġvideo Attributes Ġ= Ġvideo ĊĠĠĠĠĠĠĠ Ġ} ĊĊĠĠĠĠĠĠĠ Ġval Ġencoder Ġ= ĠEncoder () ĊĠĠĠĠĠĠĠ Ġencoder . encode ( Mult imedia Object ( source ), Ġtarget , Ġencoding Attributes ) ĊĠĠĠ Ġ} Ċ }