Java Front 1.5 made to output KAST