#!/bin/sh

old=$1
new=/usr/share/java/pki

./jar-compare.sh pki-console-theme.jar $old $new