Superconducting circuits comprising Josephson junctions have spurred significant research activity due to their promise to realize scalable quantum computers. Effective Hamiltonians for these systems have traditionally been derived assuming the junction connects superconducting islands of infinite size. We derive a quantized Hamiltonian for a Josephson junction between finite-sized islands and predict measurable corrections to the qubit frequency and charge susceptibility to test the theory.