org.eclipse.jgit.api.PushCommand

is imported to:

.   bluej.groupwork.git