Josephson Junctions: effects of non-linearity in quantum physics