Initial commit after move from JoosBuijs ProM package