commit c725a5247ed96bd69d7ab7e8adbd2013d9413297
author Ulf Adams <ulfjack@google.com> Tue Dec 01 11:43:11 2015 +0000
committer Kristina Chodorow <kchodorow@google.com> Tue Dec 01 18:23:40 2015 +0000
tree 5132ee8e3589e371e9e1477455ff4aa2d0036e53
parent d837af89bb374bd0921cfc963933f50c05203687

Remove unnecessary public modifiers.

--
MOS_MIGRATED_REVID=109067924

src/main/java/com/google/devtools/common/options/OptionsProvider.java

diff --git a/src/main/java/com/google/devtools/common/options/OptionsProvider.java b/src/main/java/com/google/devtools/common/options/OptionsProvider.java
index 3aa1699..015cc6c 100644
--- a/src/main/java/com/google/devtools/common/options/OptionsProvider.java
+++ b/src/main/java/com/google/devtools/common/options/OptionsProvider.java
@@ -57,11 +57,11 @@
    *
    * <p>The list includes undocumented options.
    */
-  public List<UnparsedOptionValueDescription> asListOfExplicitOptions();
+  List<UnparsedOptionValueDescription> asListOfExplicitOptions();
 
   /**
    * Returns a list of all options, including undocumented ones, and their
    * effective values. There is no guaranteed ordering for the result.
    */
-  public List<OptionValueDescription> asListOfEffectiveOptions();
+  List<OptionValueDescription> asListOfEffectiveOptions();
 }