#!/bin/bash
# Runs jEdit in background-mode, ready to reuse the running instance
jedit -background -reuseview "$@"
