java interface extends another interface