Simple Java program to verify if a file is in valid RAWTEI format