extract txt records with "short" java code