} else if (result.trim().equals("User not premium")) {
throw new MinecraftUserNotPremiumException();
} else if (result.trim().equals("Old version")) {
throw new OutdatedMCLauncherException();
} else if (result.trim().equals("Account migrated, use e-mail as username.")) {
throw new AccountMigratedException();
}else {
System.err.print("Unknown login result: " + result);
}
throw new MCNetworkException();
}