#!/bin/bash
JAVA_OPTS="-Djosm.pref=$HOME/.config/JOHM" josm "$@"