Correct path to repo.

Use jedit-gray.