Add an example to execute TeXZilla from Java.