How do I kill "SQL Developer" that seem to be in deadlock using ps aux and kill -9?
If you can't find it by running ps aux or pgrep -i developer you can run Activity Monitor to get the PID of the process (and also to kill it directly).