function jabref_header {
# output file
ofile=${1}
{
echo "% This file was articifialy created for JabRef ${JABREF_VERSION}."
echo "% Encoding: ISO8859_1"
echo " "
} > ${ofile}
}

