maven-plugin: compiler messages to maven log
git rid of jarjar
fix maven build if generate.javadoc is false
maven: explicitly set maven-javadoc-plugin version
maven: local repository for maven plugin integration test moved out of target/
no more publish-maven-artifacts script
Merge remote-tracking branch 'origin/master'

Conflicts:
	build.xml
cleanup — replace deprecated methods, finalize field
update idea sdk
compatibility with 12.1