An Eclipse Plug-in for the Java PathFinder Runtime Verification System