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