5 ms·

jEdit just released 5.4.0, so I am not sure why 5.1 was used instead of 5.3. Interesting though.

• pawadu 10y ago
  He also uses ubuntu 14.04 which probably also means a really old JRE