More docs

Besides the docs, I've bumped the IDEA supported version to 133.144.2, marked the source builds as Java 7.