mp4terminal        19 applications/mp4box_android/src/com/enst/mp4box/mp4box.java 	private mp4terminal myTerminal;
mp4terminal        28 applications/mp4box_android/src/com/enst/mp4box/mp4box.java         myTerminal = new mp4terminal();