Some framework commenting so it can later be turned into javadoc latex