Как изменить графическое разрешение Nvidia в Ubuntu 12.04?

Вот альтернативный подход, основанный на более раннем ответе Дина.

Это использует jps для идентификации java-процесса.

kill $(jps | grep <MainClass> | awk '{print $1}')

MainClass - это класс в вашей запущенной java-программе, которая содержит основной метод.