add stdlib.jar from princeton.edu