#! /bin/sh
BLUEJVERSION=317
BLUEJINSTDEB="/csciloc/ubuntu/Distributions/bluej-${BLUEJVERSION}.deb"
/usr/bin/dpkg --remove bluej
echo "install BlueJ from ${BLUEJINSTDEB}"
/usr/bin/dpkg --install "${BLUEJINSTDEB}"