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

