tuxrun42	TUXEDO System Runtime 4.2
tuxsdk42	TUXEDO System Development 4.2