David Pursehouse a51af51df8 PRED_commit_edits_2: Suppress warning about unnecessary cast ...

Eclipse warns about an unnecessary cast, but as mentioned in the
comment in the code, the cast is needed as a workaround for a
JDK bug [1].

Add a suppression.

[1] https://bugs.openjdk.java.net/browse/JDK-8039214

Change-Id: Ie98d39eca661bc58d7e71a5ffa88e1c579e36806

2017-11-16 09:41:38 +09:00

..

com/google

GroupPredicates: Remove redundant suppression of 'deprecation'

2017-11-16 09:40:52 +09:00

gerrit

PRED_commit_edits_2: Suppress warning about unnecessary cast

2017-11-16 09:41:38 +09:00

org

Dissolve gerrit-patch-commonsnet top-level directory

2017-10-31 11:02:36 -04:00

BUILD

Dissolve gerrit-launcher top-level directory

2017-10-31 11:02:37 -04:00

Main.java

Dissolve gerrit-main top-level directory

2017-10-31 11:02:36 -04:00