A "plugin" for Android Java to allow asking the user about SSL certificates