Something
public text v1 · immutable while(true) {
line = in.readLine();
if (line.length() > 0)
if (line.charAt(0) == '=') break;
} while(true) {
line = in.readLine();
if (line.length() > 0)
if (line.charAt(0) == '=') break;
}