txt and java