further progress on basic java library