#123: switched from hibernate proprietary UserType to JPA standardized (any much easier) AttributeConverter