#
echo "renaming javafig to jfig, please wait..."
foreach i (*/*.java */*/*.java */*/*/*.java)
echo ...$i
sed -e s/javafig/jfig/g $i     > $i.tmp
cp $i.tmp $i
rm $i.tmp
end
