Added/updated javadocs for forseti and the Kernel