#!/bin/bash echo "building BorderCastle JCE provider ..."