cleanup: Get rid of some unused-warnings

Change-Id: Ia3e82682781c6b5bc3141b3e27db67b93c3162cd

org.eclipse.jgit.pgm/src/org/eclipse/jgit/pgm/Fetch.java

 	private Boolean fsck;
 
 	@Option(name = "--no-fsck")
-	void nofsck(final boolean ignored) {
+	void nofsck(@SuppressWarnings("unused") final boolean ignored) {
 		fsck = Boolean.FALSE;
 	}
 
 	private Boolean thin;
 
 	@Option(name = "--no-thin")
-	void nothin(final boolean ignored) {
+	void nothin(@SuppressWarnings("unused") final boolean ignored) {
 		thin = Boolean.FALSE;
 	}
 

org.eclipse.jgit.pgm/src/org/eclipse/jgit/pgm/Push.java

 	private boolean thin = Transport.DEFAULT_PUSH_THIN;
 
 	@Option(name = "--no-thin")
-	void nothin(final boolean ignored) {
+	void nothin(@SuppressWarnings("unused") final boolean ignored) {
 		thin = false;
 	}