bouncy castle repairs