fix jabc.tex, jetzt compilierbar; javalstset jetzt ohne parameter