Java interface for easy TeX distribution, management and utilization