Removed old gradle build file that wasn't used.
Tweaked the build messages when the release is attempted. This it's easier to figure out that we're skipping the release (and why).
Added javadoc publication via Travis CI into gh pages ('docs' subdir).
Javadoc is now published into 2 dirs: version specific dir mockito/docs/_someVersion_ and also mockito/docs/current
"Increment version by Travis CI build #179 [ci skip]"
Ignore additional Eclipse files

In addition to .classpath and .project, the bin as well as the .settings
folders should be ignored too.

Signed-off-by: Gunnar Wagenknecht <gunnar@wagenknecht.org>
Ignore Eclipse build output.

The cglip-and-asm folder has Eclipse .project and .classpath files
committed to SCM. However, it specifies a non-standard output folder for
compilation. This folder should be ignored too.

Signed-off-by: Gunnar Wagenknecht <gunnar@wagenknecht.org>
Remove @Override annotation for implementing interface methods.

Mockito is configured with 1.5 source/target compatibility (according to
build.gradle). In Java 5 it's illegal to specify the @Override
annotation on method implementations based on interface. This change
removes those in order to have the Mockito compile on 1.5 without
compilation errors.

Signed-off-by: Gunnar Wagenknecht <gunnar@wagenknecht.org>
Some tidy up in the release build steps, mainly to fix problems with javadoc publication.
Made javadoc push not quiet for now.
Updated the javadoc publication build script. I need to fetch the gh-pages branch first because the git clone done by Travis is shallow and master-only.
Updated the javadoc publication build script. Made the task checkout master at the end for easier testing. Made the task delete only the 'docs/current' dir. This way, old versions documentation is kept.
Bumped version so that it's easier to test javadoc publication.
Fixed the problem with fetching 'gh-pages' branch.
Bumped version to enable publication.
Fixed a mistake in the fetch command (missing 'origin'). Tweaked the publication a little bit to avoid performing 2 pushes.
Rename job and remove redundant call to javadoc publication.
Bumped version for easier release :)
Ensured the 'current' docs properly refreshed. The git rm method was missing the recursive flag ('-r')
Publication task: ensured git user is configured early enough. Made some git calls quiet.