diff --git a/plugins/ProM/Screenshot.png b/plugins/ProM/Screenshot.png new file mode 100644 index 0000000..ea2f9d7 Binary files /dev/null and b/plugins/ProM/Screenshot.png differ