#! /bin/csh -f
# Last edited on 2001-06-22 00:26:05 by mc726

set usage = "$0 REPOSITORY/FILE.java"

umask 022

if ( $#argv != 1) then
  echo "bad argument"
  echo "usage: ${usage}"; exit 1
endif

set file = "$1"; shift

set wrep = "${file:h}"
set wfile = "${wrep}/${file:t}"

if ( ! ( -r "${wfile}"':0' ) ) then
  /bin/touch "${wfile}"':0'
  chmod a+r "${wfile}"':0'
endif

unsetenv LC_COLLATING

( cd ${wrep} && ls -1 "${file:t}":* )\
  | /bin/sed -e 's/^.*://g' \
  | egrep -v '[^0-9]' \
  | sort -nr -k1 \
  | /usr/bin/head -1


