This warning

/u/martin/ws/jsr166/make/docs/../../src/share/classes/java/io/PushbackInputStream.java:284: warning - @param argument "{@inheritDoc}" is not a parameter name.

was apparently introduced by

6222822: (spec) InputStream.skip() javadoc should note possible
  IOException when not supported