Java library for the succinct DOM