@ianmethyst: The files ARE identical, check with diff if you don't believe me.
But sorry, I was being a bit unclear. 'processing' and 'processing-java' in /usr/bin are symlinks to /usr/share/processing/processing and /usr/share/processing/processing-java, respectively. But because the 'processing'-script detects how it is called, it works equally well if /usr/bin/processing-java is a symlink to /usr/share/processing/processing instead of processing-java. I did that change to my system, works fine(TM). So having two separate files is completely unnecessary. Also, because I need to edit _JAVA_OPTIONS anyway to make the fonts readable, now I need to edit two files instead of just one.
Pinned Comments