#!/bin/sh
java -Djava.compiler=tya javaTeX.virtex "&latex" $*

