Just enter the proper coordinate and it should download.
I have noticed that the search function in Eclipse doesn't always find everything, the indexing capabilities of m2e are not that good. But if you know the coordinates, then you can always enter them manually.
I used Jarfinder (http://www.jarfinder.com/index.php/java) to look up that class. Jarfinder knows about almost all open source classes. It could not find this class. Unless the owner of the JAR file that contains this class provides instructions on how to access the JAR via a Maven dependency, you will either have to import the JAR into your local Maven repository or deploy the JAR file to Nexus (or some other remote repository server). In my environment, we always do the latter. Oh, look in the JAR and see if there is a META-INF/maven directory; if there is, and you go to the subdirectories you will see the pom.xml which will give you the details about the artifact.
When we do this, we generally use the common package name for all classes in the JAR as the groupId (in your case, this might be "ch.randelshofer.screenrecorder"), and the JAR file name (minus the extension) as the artifactId. We also look at the META-INF/MANIFEST.MF file to see if it contains any version info. If it doesn't, we use the timestamp on the class files as the artifact's version.