Energy levels quantization in Josephson junctions