#!/bin/bash
set -x
cat ../outputs/t0 | awk "s/\(.*\)\(.*\(.java\):\([1-9]\).*\)/\1\3)/" > tmp
mv tmp ../outputs/t0
rm tmp
cat ../outputs.alt/v1/t0 | awk "s/\(.*\)\(.*\(.java\):\([1-9]\).*\)/\1\3)/" > tmp
mv tmp ../outputs.alt/v1/t0
rm tmp
