--- /dev/null
+
+file="$1"; shift
+
+if [ -z "$file" ]; then
+ echo "This script requires one filename that is a differ output file."
+ echo "All of the files with differences mentioned in the differ file will be"
+ echo "extracted and printed out."
+ exit 1
+fi
+
+grep "seen for [a-zA-Z0-9]*\.java" "$file" | sed -e "s/Differences seen for //" -e "s/:$//"
+