Josephson junction type