[galaxy-user] tophat output spice junction output