Jedit.org Status

Is jedit.org down right now?

Loading (this can take up to 5 seconds)...