LateX snippets, XML/Java settings