1 package org.eclipse.example.schoollibrary;2 3 import org.eclipse.example.library.Library;4 5 /**6 * @model7 */8 public interface SchoolLibrary extends Library9 {10 /**11 * @model12 */13 String getLocation();14 }15