JabRef Machine

@JabRef This is the machine supporting @JabRef. In accordance to https://docs.github.com/en/site-policy/github-terms/github-terms-of-service#3-account-requirements