Re: [ jEdit-devel ] should jEdit 5.1 depend on Java 6 or 7?

[Alan E. <ala...@gm...>]

My vote is to keep jEdit 5.x dependent on Java6 and we bump to jEdit 6.x
and Java7 at the same time.

On Sun, Mar 24, 2013 at 2:49 PM, Alan Ezust <ala...@gm...> wrote:

> What are your opinions, fellow developers? Because as of the latest
> commit, it only builds against java7.
>
>
>