palimpsest/ java/ web-start