package-info.java

/**
 * JPA domain objects.
 */
package de.rwth.idsg.brsm.domain;