Here we have some Java GUI code